diff --git a/tests/baselines/reference/unknownType1.errors.txt b/tests/baselines/reference/unknownType1.errors.txt
index 26030e1383..afaf35b4d0 100644
--- a/tests/baselines/reference/unknownType1.errors.txt
+++ b/tests/baselines/reference/unknownType1.errors.txt
@@ -60,7 +60,7 @@ tests/cases/conformance/types/unknown/unknownType1.ts(156,5): error TS2564: Prop
     // keyof unknown
     
     type T40 = keyof any;  // string | number | symbol
-    type T41 = keyof unknown;  // string | number | symbol
+    type T41 = keyof unknown;  // never
     
     // Only equality operators are allowed with unknown
     
@@ -129,8 +129,8 @@ tests/cases/conformance/types/unknown/unknownType1.ts(156,5): error TS2564: Prop
     // Homomorphic mapped type over unknown
     
     type T50<T> = { [P in keyof T]: number };
-    type T51 = T50<unknown>;  // { [x: string]: number }
-    type T52 = T50<any>;  // { [x: string]: number }
+    type T51 = T50<any>;  // { [x: string]: number }
+    type T52 = T50<unknown>;  // {}
     
     // Anything is assignable to unknown
     
diff --git a/tests/baselines/reference/unknownType1.js b/tests/baselines/reference/unknownType1.js
index 2481f06918..76224ef18c 100644
--- a/tests/baselines/reference/unknownType1.js
+++ b/tests/baselines/reference/unknownType1.js
@@ -36,7 +36,7 @@ type T33<T> = T extends never ? true : false;  // Deferred
 // keyof unknown
 
 type T40 = keyof any;  // string | number | symbol
-type T41 = keyof unknown;  // string | number | symbol
+type T41 = keyof unknown;  // never
 
 // Only equality operators are allowed with unknown
 
@@ -81,8 +81,8 @@ function f20(x: unknown) {
 // Homomorphic mapped type over unknown
 
 type T50<T> = { [P in keyof T]: number };
-type T51 = T50<unknown>;  // { [x: string]: number }
-type T52 = T50<any>;  // { [x: string]: number }
+type T51 = T50<any>;  // { [x: string]: number }
+type T52 = T50<unknown>;  // {}
 
 // Anything is assignable to unknown
 
diff --git a/tests/baselines/reference/unknownType1.symbols b/tests/baselines/reference/unknownType1.symbols
index 5c36e3d662..8067312f72 100644
--- a/tests/baselines/reference/unknownType1.symbols
+++ b/tests/baselines/reference/unknownType1.symbols
@@ -94,7 +94,7 @@ type T33<T> = T extends never ? true : false;  // Deferred
 type T40 = keyof any;  // string | number | symbol
 >T40 : Symbol(T40, Decl(unknownType1.ts, 32, 45))
 
-type T41 = keyof unknown;  // string | number | symbol
+type T41 = keyof unknown;  // never
 >T41 : Symbol(T41, Decl(unknownType1.ts, 36, 21))
 
 // Only equality operators are allowed with unknown
@@ -196,18 +196,18 @@ type T50<T> = { [P in keyof T]: number };
 >P : Symbol(P, Decl(unknownType1.ts, 81, 17))
 >T : Symbol(T, Decl(unknownType1.ts, 81, 9))
 
-type T51 = T50<unknown>;  // { [x: string]: number }
+type T51 = T50<any>;  // { [x: string]: number }
 >T51 : Symbol(T51, Decl(unknownType1.ts, 81, 41))
 >T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
 
-type T52 = T50<any>;  // { [x: string]: number }
->T52 : Symbol(T52, Decl(unknownType1.ts, 82, 24))
+type T52 = T50<unknown>;  // {}
+>T52 : Symbol(T52, Decl(unknownType1.ts, 82, 20))
 >T50 : Symbol(T50, Decl(unknownType1.ts, 77, 1))
 
 // Anything is assignable to unknown
 
 function f21<T>(pAny: any, pNever: never, pT: T) {
->f21 : Symbol(f21, Decl(unknownType1.ts, 83, 20))
+>f21 : Symbol(f21, Decl(unknownType1.ts, 83, 24))
 >T : Symbol(T, Decl(unknownType1.ts, 87, 13))
 >pAny : Symbol(pAny, Decl(unknownType1.ts, 87, 16))
 >pNever : Symbol(pNever, Decl(unknownType1.ts, 87, 26))
diff --git a/tests/baselines/reference/unknownType1.types b/tests/baselines/reference/unknownType1.types
index a922e8f43b..dec3acaaeb 100644
--- a/tests/baselines/reference/unknownType1.types
+++ b/tests/baselines/reference/unknownType1.types
@@ -106,8 +106,8 @@ type T33<T> = T extends never ? true : false;  // Deferred
 type T40 = keyof any;  // string | number | symbol
 >T40 : string | number | symbol
 
-type T41 = keyof unknown;  // string | number | symbol
->T41 : string | number | symbol
+type T41 = keyof unknown;  // never
+>T41 : never
 
 // Only equality operators are allowed with unknown
 
@@ -240,12 +240,12 @@ type T50<T> = { [P in keyof T]: number };
 >P : P
 >T : T
 
-type T51 = T50<unknown>;  // { [x: string]: number }
->T51 : T50<unknown>
+type T51 = T50<any>;  // { [x: string]: number }
+>T51 : T50<any>
 >T50 : T50<T>
 
-type T52 = T50<any>;  // { [x: string]: number }
->T52 : T50<any>
+type T52 = T50<unknown>;  // {}
+>T52 : T50<unknown>
 >T50 : T50<T>
 
 // Anything is assignable to unknown