add extra test case

microsoft · Nov 30, 2024 · 2f2b500 · 2f2b500
1 parent 04976bf
commit 2f2b500
Show file tree

Hide file tree

Showing 9 changed files with 27 additions and 0 deletions.
diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=false).errors.txt b/tests/baselines/reference/keyRemappingKeyofResult(strict=false).errors.txt
@@ -99,6 +99,7 @@ keyRemappingKeyofResult.ts(90,3): error TS2322: Type 'string' is not assignable
       ~
 !!! error TS2322: Type 'string' is not assignable to type 'keyof { [P in keyof T as T[P] extends string ? P : never]: any; }'.
 !!! error TS2322:   Type 'string' is not assignable to type 'T[P] extends string ? P : never'.
+      const f: string = z; // error
     }
 
     export {};

diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=false).js b/tests/baselines/reference/keyRemappingKeyofResult(strict=false).js
@@ -91,6 +91,7 @@ type StringKeys2<T> = keyof {
 
 function h<T>(z: StringKeys2<T>) {
   z = "foo"; // error
+  const f: string = z; // error
 }
 
 export {};
@@ -127,5 +128,6 @@ function test_57827(z) {
 }
 function h(z) {
     z = "foo"; // error
+    const f = z; // error
 }
 export {};
diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=false).symbols b/tests/baselines/reference/keyRemappingKeyofResult(strict=false).symbols
@@ -247,6 +247,10 @@ function h<T>(z: StringKeys2<T>) {
 >T : Symbol(T, Decl(keyRemappingKeyofResult.ts, 88, 11))
 
   z = "foo"; // error
+>z : Symbol(z, Decl(keyRemappingKeyofResult.ts, 88, 14))
+
+  const f: string = z; // error
+>f : Symbol(f, Decl(keyRemappingKeyofResult.ts, 90, 7))
 >z : Symbol(z, Decl(keyRemappingKeyofResult.ts, 88, 14))
 }
 

diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=false).types b/tests/baselines/reference/keyRemappingKeyofResult(strict=false).types
@@ -298,6 +298,12 @@ function h<T>(z: StringKeys2<T>) {
 >  : ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >"foo" : "foo"
 >      : ^^^^^
+
+  const f: string = z; // error
+>f : string
+>  : ^^^^^^
+>z : string
+>  : ^^^^^^
 }
 
 export {};

diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=true).errors.txt b/tests/baselines/reference/keyRemappingKeyofResult(strict=true).errors.txt
@@ -99,6 +99,7 @@ keyRemappingKeyofResult.ts(90,3): error TS2322: Type 'string' is not assignable
       ~
 !!! error TS2322: Type 'string' is not assignable to type 'keyof { [P in keyof T as T[P] extends string ? P : never]: any; }'.
 !!! error TS2322:   Type 'string' is not assignable to type 'T[P] extends string ? P : never'.
+      const f: string = z; // error
     }
 
     export {};

diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=true).js b/tests/baselines/reference/keyRemappingKeyofResult(strict=true).js
@@ -91,6 +91,7 @@ type StringKeys2<T> = keyof {
 
 function h<T>(z: StringKeys2<T>) {
   z = "foo"; // error
+  const f: string = z; // error
 }
 
 export {};
@@ -127,5 +128,6 @@ function test_57827(z) {
 }
 function h(z) {
     z = "foo"; // error
+    const f = z; // error
 }
 export {};
diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=true).symbols b/tests/baselines/reference/keyRemappingKeyofResult(strict=true).symbols
@@ -247,6 +247,10 @@ function h<T>(z: StringKeys2<T>) {
 >T : Symbol(T, Decl(keyRemappingKeyofResult.ts, 88, 11))
 
   z = "foo"; // error
+>z : Symbol(z, Decl(keyRemappingKeyofResult.ts, 88, 14))
+
+  const f: string = z; // error
+>f : Symbol(f, Decl(keyRemappingKeyofResult.ts, 90, 7))
 >z : Symbol(z, Decl(keyRemappingKeyofResult.ts, 88, 14))
 }
 

diff --git a/tests/baselines/reference/keyRemappingKeyofResult(strict=true).types b/tests/baselines/reference/keyRemappingKeyofResult(strict=true).types
@@ -298,6 +298,12 @@ function h<T>(z: StringKeys2<T>) {
 >  : ^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >"foo" : "foo"
 >      : ^^^^^
+
+  const f: string = z; // error
+>f : string
+>  : ^^^^^^
+>z : string
+>  : ^^^^^^
 }
 
 export {};

diff --git a/tests/cases/compiler/keyRemappingKeyofResult.ts b/tests/cases/compiler/keyRemappingKeyofResult.ts
@@ -90,6 +90,7 @@ type StringKeys2<T> = keyof {
 
 function h<T>(z: StringKeys2<T>) {
   z = "foo"; // error
+  const f: string = z; // ok
 }
 
 export {};