diff --git a/tests/baselines/reference/inferTypes1.errors.txt b/tests/baselines/reference/inferTypes1.errors.txt
index acc4b9029b1..6b4e4169240 100644
--- a/tests/baselines/reference/inferTypes1.errors.txt
+++ b/tests/baselines/reference/inferTypes1.errors.txt
@@ -33,7 +33,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322:
     type T03 = Unpacked<Promise<string>>;  // string
     type T04 = Unpacked<Unpacked<Promise<string>[]>>;  // string
     type T05 = Unpacked<any>;  // any
-    type T06 = Unpacked<never>;  // never
+    type T06 = Unpacked<never>;  // {}
     
     function f1(s: string) {
         return { a: 1, b: s };
@@ -72,7 +72,7 @@ tests/cases/conformance/types/conditional/inferTypes1.ts(134,40): error TS2322:
     
     type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A : any;
     
-    type T20 = ArgumentType<() => void>;  // never
+    type T20 = ArgumentType<() => void>;  // {}
     type T21 = ArgumentType<(x: string) => number>;  // string
     type T22 = ArgumentType<(x?: string) => number>;  // string | undefined
     type T23 = ArgumentType<(...args: string[]) => number>;  // string
diff --git a/tests/baselines/reference/inferTypes1.js b/tests/baselines/reference/inferTypes1.js
index 146acdc1ce7..a7d68878cde 100644
--- a/tests/baselines/reference/inferTypes1.js
+++ b/tests/baselines/reference/inferTypes1.js
@@ -11,7 +11,7 @@ type T02 = Unpacked<() => string>;  // string
 type T03 = Unpacked<Promise<string>>;  // string
 type T04 = Unpacked<Unpacked<Promise<string>[]>>;  // string
 type T05 = Unpacked<any>;  // any
-type T06 = Unpacked<never>;  // never
+type T06 = Unpacked<never>;  // {}
 
 function f1(s: string) {
     return { a: 1, b: s };
@@ -40,7 +40,7 @@ type U14 = InstanceType<Function>;  // Error
 
 type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A : any;
 
-type T20 = ArgumentType<() => void>;  // never
+type T20 = ArgumentType<() => void>;  // {}
 type T21 = ArgumentType<(x: string) => number>;  // string
 type T22 = ArgumentType<(x?: string) => number>;  // string | undefined
 type T23 = ArgumentType<(...args: string[]) => number>;  // string
diff --git a/tests/baselines/reference/inferTypes1.symbols b/tests/baselines/reference/inferTypes1.symbols
index 138f60aaf49..49b6ca2656b 100644
--- a/tests/baselines/reference/inferTypes1.symbols
+++ b/tests/baselines/reference/inferTypes1.symbols
@@ -50,7 +50,7 @@ type T05 = Unpacked<any>;  // any
 >T05 : Symbol(T05, Decl(inferTypes1.ts, 10, 49))
 >Unpacked : Symbol(Unpacked, Decl(inferTypes1.ts, 0, 0))
 
-type T06 = Unpacked<never>;  // never
+type T06 = Unpacked<never>;  // {}
 >T06 : Symbol(T06, Decl(inferTypes1.ts, 11, 25))
 >Unpacked : Symbol(Unpacked, Decl(inferTypes1.ts, 0, 0))
 
@@ -150,7 +150,7 @@ type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A
 >A : Symbol(A, Decl(inferTypes1.ts, 39, 66))
 >A : Symbol(A, Decl(inferTypes1.ts, 39, 66))
 
-type T20 = ArgumentType<() => void>;  // never
+type T20 = ArgumentType<() => void>;  // {}
 >T20 : Symbol(T20, Decl(inferTypes1.ts, 39, 87))
 >ArgumentType : Symbol(ArgumentType, Decl(inferTypes1.ts, 37, 34))
 
diff --git a/tests/baselines/reference/inferTypes1.types b/tests/baselines/reference/inferTypes1.types
index f29c380a0ad..43bb087affc 100644
--- a/tests/baselines/reference/inferTypes1.types
+++ b/tests/baselines/reference/inferTypes1.types
@@ -50,8 +50,8 @@ type T05 = Unpacked<any>;  // any
 >T05 : any
 >Unpacked : Unpacked<T>
 
-type T06 = Unpacked<never>;  // never
->T06 : never
+type T06 = Unpacked<never>;  // {}
+>T06 : {}
 >Unpacked : Unpacked<T>
 
 function f1(s: string) {
@@ -154,8 +154,8 @@ type ArgumentType<T extends (x: any) => any> = T extends (a: infer A) => any ? A
 >A : A
 >A : A
 
-type T20 = ArgumentType<() => void>;  // never
->T20 : never
+type T20 = ArgumentType<() => void>;  // {}
+>T20 : {}
 >ArgumentType : ArgumentType<T>
 
 type T21 = ArgumentType<(x: string) => number>;  // string
@@ -312,7 +312,7 @@ type T60 = infer U;  // Error
 >U : U
 
 type T61<T> = infer A extends infer B ? infer C : infer D;  // Error
->T61 : never
+>T61 : {}
 >T : T
 >A : A
 >B : B