Update tests

Author: ahejlsberg

tests/baselines/reference/noInfer.errors.txt

@@ -34,7 +34,7 @@ noInfer.ts(66,14): error TS2345: Argument of type '{}' is not assignable to para
     type T21<T> = NoInfer<NoInfer<T> & string>;
     type T22<T> = NoInfer<NoInfer<T> & string[]>;
 
-    // NoInfer<T> is erased in index types and mapped types
+    // keyof NoInfer<T> is transformed into NoInfer<keyof T>
 
     type T30 = keyof NoInfer<{ a: string, b: string }>;
     type T31<T> = keyof NoInfer<T>;

tests/baselines/reference/noInfer.js

@@ -22,7 +22,7 @@ type T20<T> = NoInfer<NoInfer<T>>;
 type T21<T> = NoInfer<NoInfer<T> & string>;
 type T22<T> = NoInfer<NoInfer<T> & string[]>;
 
-// NoInfer<T> is erased in index types and mapped types
+// keyof NoInfer<T> is transformed into NoInfer<keyof T>
 
 type T30 = keyof NoInfer<{ a: string, b: string }>;
 type T31<T> = keyof NoInfer<T>;

tests/baselines/reference/noInfer.symbols

@@ -65,7 +65,7 @@ type T22<T> = NoInfer<NoInfer<T> & string[]>;
 >NoInfer : Symbol(NoInfer, Decl(lib.es5.d.ts, --, --))
 >T : Symbol(T, Decl(noInfer.ts, 19, 9))
 
-// NoInfer<T> is erased in index types and mapped types
+// keyof NoInfer<T> is transformed into NoInfer<keyof T>
 
 type T30 = keyof NoInfer<{ a: string, b: string }>;
 >T30 : Symbol(T30, Decl(noInfer.ts, 19, 45))

tests/baselines/reference/noInfer.types

@@ -44,15 +44,15 @@ type T21<T> = NoInfer<NoInfer<T> & string>;
 type T22<T> = NoInfer<NoInfer<T> & string[]>;
 >T22 : NoInfer<NoInfer<T> & string[]>
 
-// NoInfer<T> is erased in index types and mapped types
+// keyof NoInfer<T> is transformed into NoInfer<keyof T>
 
 type T30 = keyof NoInfer<{ a: string, b: string }>;
 >T30 : "a" | "b"
 >a : string
 >b : string
 
 type T31<T> = keyof NoInfer<T>;
->T31 : keyof T
+>T31 : NoInfer<keyof T>
 
 type T32 = { [K in keyof NoInfer<{ a: string, b: string }>]: K };
 >T32 : { a: "a"; b: "b"; }

tests/cases/conformance/types/typeRelationships/typeInference/noInfer.ts

@@ -22,7 +22,7 @@ type T20<T> = NoInfer<NoInfer<T>>;
 type T21<T> = NoInfer<NoInfer<T> & string>;
 type T22<T> = NoInfer<NoInfer<T> & string[]>;
 
-// NoInfer<T> is erased in index types and mapped types
+// keyof NoInfer<T> is transformed into NoInfer<keyof T>
 
 type T30 = keyof NoInfer<{ a: string, b: string }>;
 type T31<T> = keyof NoInfer<T>;