update typecheck: generic type match

Author: xuhuanzy

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

@@ -470,4 +470,30 @@ mod tests {
             "#
         ));
     }
+
+    #[test]
+    fn test_generic_type_1() {
+        let mut ws = VirtualWorkspace::new();
+        ws.def(
+            r#"
+            ---@class Range: Observable<integer>
+            ---@class Observable<T>
+
+            ---@return Range
+            function newRange()
+            end
+            "#,
+        );
+        assert!(ws.check_code_for(
+            DiagnosticCode::ReturnTypeMismatch,
+            r#"
+
+            ---@return Observable<integer>
+            function range()
+                return newRange()
+            end
+
+            "#
+        ));
+    }
 }

crates/emmylua_code_analysis/src/semantic/type_check/generic_type.rs

@@ -6,8 +6,8 @@ use crate::{
 };
 
 use super::{
-    check_general_type_compact, type_check_fail_reason::TypeCheckFailReason,
-    type_check_guard::TypeCheckGuard, TypeCheckResult,
+    check_general_type_compact, check_ref_type_compact,
+    type_check_fail_reason::TypeCheckFailReason, type_check_guard::TypeCheckGuard, TypeCheckResult,
 };
 
 pub fn check_generic_type_compact(
@@ -53,6 +53,12 @@ pub fn check_generic_type_compact(
             LuaMemberOwner::Element(range.clone()),
             check_guard.next_level()?,
         ),
+        LuaType::Ref(_) | LuaType::Def(_) => check_ref_type_compact(
+            db,
+            &source_generic.get_base_type_id(),
+            compact_type,
+            check_guard.next_level()?,
+        ),
         _ => Err(TypeCheckFailReason::TypeNotMatch),
     }
 }