Merge branch 'main' into fix/5

dudykr · Aug 20, 2023 · 0999c3a · 0999c3a
2 parents 3697d8d + 96ad01d
commit 0999c3a
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 6 deletions.
diff --git a/crates/stc_ts_file_analyzer/src/analyzer/expr/mod.rs b/crates/stc_ts_file_analyzer/src/analyzer/expr/mod.rs
@@ -2513,6 +2513,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()));
                 }
 

diff --git a/...ts/conformance/types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.error-diff.json b/...ts/conformance/types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.error-diff.json
@@ -1,10 +1,9 @@
 {
   "required_errors": {
-    "TS2322": 2
+    "TS2322": 1
   },
   "required_error_lines": {
     "TS2322": [
-      25,
       28
     ]
   },

diff --git a/...s/conformance/types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.stats.rust-debug b/...s/conformance/types/nonPrimitive/nonPrimitiveConstraintOfIndexAccessType.stats.rust-debug
@@ -1,6 +1,6 @@
 Stats {
-    required_error: 2,
-    matched_error: 8,
+    required_error: 1,
+    matched_error: 9,
     extra_error: 0,
     panic: 0,
 }
diff --git a/crates/stc_ts_type_checker/tests/tsc-stats.rust-debug b/crates/stc_ts_type_checker/tests/tsc-stats.rust-debug
@@ -1,6 +1,6 @@
 Stats {
-    required_error: 3502,
-    matched_error: 6533,
+    required_error: 3501,
+    matched_error: 6534,
     extra_error: 764,
     panic: 73,
 }