fix: Fix type inference with type annotations

crates/stc_ts_file_analyzer/src/analyzer/generic/inference.rs

@@ -1040,6 +1040,8 @@ impl Analyzer<'_, '_> {
         if let Some(constraint) = inferred.constraints.get(&name) {
             constraint.assert_clone_cheap();
 
+            dbg!(&constraint);
+            dbg!(&arg);
             if let Some(false) = self.extends(
                 span,
                 &arg,
@@ -1239,6 +1241,14 @@ impl Analyzer<'_, '_> {
 
         let mut inferred = InferData::default();
 
+        for param in type_params {
+            dbg!(param);
+            if let Some(constraint) = &param.constraint {
+                constraint.assert_clone_cheap();
+                inferred.constraints.insert(param.name.clone(), *constraint.clone());
+            }
+        }
+
         self.infer_type(span, &mut inferred, param, arg, InferTypeOpts { ..opts })
             .context("tried to infer type using two type")?;
 

crates/stc_ts_file_analyzer/src/analyzer/generic/mod.rs

@@ -119,6 +119,7 @@ impl Analyzer<'_, '_> {
 
         let mut inferred = InferData::default();
         for param in type_params {
+            dbg!(param);
             if let Some(constraint) = &param.constraint {
                 constraint.assert_clone_cheap();
                 inferred.constraints.insert(param.name.clone(), *constraint.clone());