fix(diagnostic): continue checking generic constraints after unconstrained args

fix #1137

Author: xuhuanzy

crates/emmylua_code_analysis/src/diagnostic/checker/generic/generic_constraint_mismatch.rs

@@ -596,7 +596,12 @@ fn check_doc_tag_type(
             .take(explicit_args.len())
             .enumerate()
         {
-            let extend_type = generic_params.get(i)?.constraint.as_ref()?;
+            let Some(extend_type) = generic_params
+                .get(i)
+                .and_then(|param| param.constraint.as_ref())
+            else {
+                continue;
+            };
             let result = semantic_model.type_check_detail(extend_type, param_type);
             if result.is_err() {
                 add_type_check_diagnostic(

crates/emmylua_code_analysis/src/diagnostic/test/generic_constraint_mismatch_test.rs

@@ -192,6 +192,40 @@ mod test {
         ));
     }
 
+    #[test]
+    fn test_alias_multi_generic_keyof_constraint_mismatch() {
+        let mut ws = VirtualWorkspace::new();
+        assert!(!ws.has_no_diagnostic(
+            DiagnosticCode::GenericConstraintMismatch,
+            r#"
+            ---@class A
+            ---@field one 1
+
+            ---@alias B<T, K extends keyof A> A[K]
+
+            ---@type B<A, 'two'>
+            local tmp
+            "#
+        ));
+    }
+
+    #[test]
+    fn test_alias_multi_generic_keyof_constraint_match() {
+        let mut ws = VirtualWorkspace::new();
+        assert!(ws.has_no_diagnostic(
+            DiagnosticCode::GenericConstraintMismatch,
+            r#"
+            ---@class A
+            ---@field one 1
+
+            ---@alias B<T, K extends keyof A> A[K]
+
+            ---@type B<A, 'one'>
+            local tmp
+            "#
+        ));
+    }
+
     #[test]
     fn test_class_generic_default_constraint_match() {
         let mut ws = VirtualWorkspace::new();