Fix: access property

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

@@ -1835,6 +1835,7 @@ impl Analyzer<'_, '_> {
         if !self.config.is_builtin {
             obj.freeze();
         }
+
         let mut obj = self.expand(
             span,
             obj.into_owned(),
@@ -2295,6 +2296,13 @@ impl Analyzer<'_, '_> {
                 return Err(ErrorKind::IsTypeUnknown { span }.into());
             }
 
+            Type::Keyword(KeywordType {
+                kind: TsKeywordTypeKind::TsObjectKeyword,
+                ..
+            }) if matches!(type_mode, TypeOfMode::LValue) && prop.ty().is_type_param() => {
+                return Ok(Type::never(span, Default::default()));
+            }
+
             Type::Keyword(KeywordType { kind, .. }) if !self.config.is_builtin => {
                 if let Key::Computed(prop) = prop {
                     if let (
@@ -2513,6 +2521,9 @@ impl Analyzer<'_, '_> {
                 }
 
                 if type_mode == TypeOfMode::LValue {
+                    if prop.ty().is_type_param() && members.is_empty() {
+                        return Ok(Type::never(span, Default::default()));
+                    }
                     return Ok(Type::any(span, Default::default()));
                 }
 

crates/stc_ts_file_analyzer/tests/tsc/types/nonPrimitive/.1.ts → crates/stc_ts_file_analyzer/tests/tsc/types/nonPrimitive/1.ts

@@ -6,4 +6,7 @@ function l<T extends {}, P extends keyof T>(s: string, tp: T[P]): void {
 }
 function m<T extends { a: number }, P extends keyof T>(s: string, tp: T[P]): void {
     tp = s;
-}
+}
+function f<T extends object, P extends keyof T>(s: string, tp: T[P]): void {
+    tp = s;
+}

crates/stc_ts_file_analyzer/tests/tsc/types/nonPrimitive/1.tsc-errors.json

@@ -10,5 +10,11 @@
     "line": 8,
     "col": 5,
     "code": 2322
+  },
+  {
+    "file": "tests/tsc/types/nonPrimitive/1.ts",
+    "line": 11,
+    "col": 5,
+    "code": 2322
   }
 ]

crates/stc_ts_type_checker/tests/conformance.pass.txt

@@ -2427,6 +2427,7 @@ types/nonPrimitive/nonPrimitiveAndEmptyObject.ts
 types/nonPrimitive/nonPrimitiveAndTypeVariables.ts
 types/nonPrimitive/nonPrimitiveAsProperty.ts
 types/nonPrimitive/nonPrimitiveAssignError.ts
+types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.ts
 types/nonPrimitive/nonPrimitiveInFunction.ts
 types/nonPrimitive/nonPrimitiveInGeneric.ts
 types/nonPrimitive/nonPrimitiveIndexingWithForIn.ts

crates/stc_ts_type_checker/tests/conformance/types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.stats.rust-debug

@@ -1,6 +1,6 @@
 Stats {
-    required_error: 1,
-    matched_error: 9,
-    extra_error: 4,
+    required_error: 0,
+    matched_error: 10,
+    extra_error: 0,
     panic: 0,
 }

crates/stc_ts_type_checker/tests/tsc-stats.rust-debug

@@ -1,6 +1,6 @@
 Stats {
-    required_error: 3502,
-    matched_error: 6533,
-    extra_error: 769,
+    required_error: 3501,
+    matched_error: 6534,
+    extra_error: 765,
     panic: 73,
 }