fix diagnostic: generic_type TypeNotFound

Author: xuhuanzy

crates/emmylua_code_analysis/src/compilation/analyzer/doc/infer_type.rs

@@ -215,6 +215,14 @@ fn infer_generic_type(analyzer: &mut DocAnalyzer, generic_type: &LuaDocGenericTy
             {
                 name_type_decl.get_id()
             } else {
+                analyzer.db.get_diagnostic_index_mut().add_diagnostic(
+                    analyzer.file_id,
+                    AnalyzeError::new(
+                        DiagnosticCode::TypeNotFound,
+                        &t!("Type '%{name}' not found", name = name),
+                        generic_type.get_range(),
+                    ),
+                );
                 return LuaType::Unknown;
             };
 

crates/emmylua_code_analysis/src/compilation/test/annotation_test.rs

@@ -112,4 +112,16 @@ mod test {
         let expected = ws.ty("string");
         assert_eq!(ty, expected);
     }
+
+    #[test]
+    fn test_generic_type_inference() {
+        let mut ws = VirtualWorkspace::new();
+
+        assert!(!ws.check_code_for(
+            DiagnosticCode::TypeNotFound,
+            r#"
+            ---@class AnonymousObserver<T>: Observer<T>
+        "#,
+        ));
+    }
 }

crates/emmylua_code_analysis/src/config/configs/mod.rs

@@ -2,6 +2,7 @@ mod code_action;
 mod codelen;
 mod completion;
 mod diagnostics;
+mod doc;
 mod document_color;
 mod hover;
 mod inlayhint;
@@ -13,12 +14,12 @@ mod semantictoken;
 mod signature;
 mod strict;
 mod workspace;
-mod doc;
 
 pub use code_action::EmmyrcCodeAction;
 pub use codelen::EmmyrcCodeLen;
 pub use completion::{EmmyrcCompletion, EmmyrcFilenameConvention};
 pub use diagnostics::EmmyrcDiagnostic;
+pub use doc::EmmyrcDoc;
 pub use document_color::EmmyrcDocumentColor;
 pub use hover::EmmyrcHover;
 pub use inlayhint::EmmyrcInlayHint;
@@ -30,4 +31,3 @@ pub use semantictoken::EmmyrcSemanticToken;
 pub use signature::EmmyrcSignature;
 pub use strict::EmmyrcStrict;
 pub use workspace::EmmyrcWorkspace;
-pub use doc::EmmyrcDoc;