diff --git a/tests/baselines/reference/neverTypeErrors1.errors.txt b/tests/baselines/reference/neverTypeErrors1.errors.txt
index a27c6fba06..56233fb610 100644
--- a/tests/baselines/reference/neverTypeErrors1.errors.txt
+++ b/tests/baselines/reference/neverTypeErrors1.errors.txt
@@ -4,12 +4,13 @@ tests/cases/conformance/types/never/neverTypeErrors1.ts(5,5): error TS2322: Type
 tests/cases/conformance/types/never/neverTypeErrors1.ts(6,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
 tests/cases/conformance/types/never/neverTypeErrors1.ts(7,5): error TS2322: Type 'null' is not assignable to type 'never'.
 tests/cases/conformance/types/never/neverTypeErrors1.ts(8,5): error TS2322: Type '{}' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors1.ts(12,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors1.ts(16,5): error TS2322: Type '1' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors1.ts(19,16): error TS2534: A function returning 'never' cannot have a reachable end point.
+tests/cases/conformance/types/never/neverTypeErrors1.ts(9,5): error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
+tests/cases/conformance/types/never/neverTypeErrors1.ts(13,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
+tests/cases/conformance/types/never/neverTypeErrors1.ts(17,5): error TS2322: Type '1' is not assignable to type 'never'.
+tests/cases/conformance/types/never/neverTypeErrors1.ts(20,16): error TS2534: A function returning 'never' cannot have a reachable end point.
 
 
-==== tests/cases/conformance/types/never/neverTypeErrors1.ts (9 errors) ====
+==== tests/cases/conformance/types/never/neverTypeErrors1.ts (10 errors) ====
     function f1() {
         let x: never;
         x = 1;
@@ -30,6 +31,9 @@ tests/cases/conformance/types/never/neverTypeErrors1.ts(19,16): error TS2534: A
         x = {};
         ~
 !!! error TS2322: Type '{}' is not assignable to type 'never'.
+        x();
+        ~~~
+!!! error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
     }
     
     function f2(): never {
diff --git a/tests/baselines/reference/neverTypeErrors1.js b/tests/baselines/reference/neverTypeErrors1.js
index 81b3f8f9cd..4bbe131cd0 100644
--- a/tests/baselines/reference/neverTypeErrors1.js
+++ b/tests/baselines/reference/neverTypeErrors1.js
@@ -7,6 +7,7 @@ function f1() {
     x = undefined;
     x = null;
     x = {};
+    x();
 }
 
 function f2(): never {
@@ -29,6 +30,7 @@ function f1() {
     x = undefined;
     x = null;
     x = {};
+    x();
 }
 function f2() {
     return;
diff --git a/tests/baselines/reference/neverTypeErrors1.symbols b/tests/baselines/reference/neverTypeErrors1.symbols
index c9525226aa..eee8e49314 100644
--- a/tests/baselines/reference/neverTypeErrors1.symbols
+++ b/tests/baselines/reference/neverTypeErrors1.symbols
@@ -23,20 +23,23 @@ function f1() {
 
     x = {};
 >x : Symbol(x, Decl(neverTypeErrors1.ts, 1, 7))
+
+    x();
+>x : Symbol(x, Decl(neverTypeErrors1.ts, 1, 7))
 }
 
 function f2(): never {
->f2 : Symbol(f2, Decl(neverTypeErrors1.ts, 8, 1))
+>f2 : Symbol(f2, Decl(neverTypeErrors1.ts, 9, 1))
 
     return;
 }
 
 function f3(): never {
->f3 : Symbol(f3, Decl(neverTypeErrors1.ts, 12, 1))
+>f3 : Symbol(f3, Decl(neverTypeErrors1.ts, 13, 1))
 
     return 1;
 }
 
 function f4(): never {
->f4 : Symbol(f4, Decl(neverTypeErrors1.ts, 16, 1))
+>f4 : Symbol(f4, Decl(neverTypeErrors1.ts, 17, 1))
 }
diff --git a/tests/baselines/reference/neverTypeErrors1.types b/tests/baselines/reference/neverTypeErrors1.types
index 150459b32b..fe21a8c5ba 100644
--- a/tests/baselines/reference/neverTypeErrors1.types
+++ b/tests/baselines/reference/neverTypeErrors1.types
@@ -34,6 +34,10 @@ function f1() {
 >x = {} : {}
 >x : never
 >{} : {}
+
+    x();
+>x() : any
+>x : never
 }
 
 function f2(): never {
diff --git a/tests/baselines/reference/neverTypeErrors2.errors.txt b/tests/baselines/reference/neverTypeErrors2.errors.txt
index 5f9bb26344..eb24ac8251 100644
--- a/tests/baselines/reference/neverTypeErrors2.errors.txt
+++ b/tests/baselines/reference/neverTypeErrors2.errors.txt
@@ -4,12 +4,13 @@ tests/cases/conformance/types/never/neverTypeErrors2.ts(5,5): error TS2322: Type
 tests/cases/conformance/types/never/neverTypeErrors2.ts(6,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
 tests/cases/conformance/types/never/neverTypeErrors2.ts(7,5): error TS2322: Type 'null' is not assignable to type 'never'.
 tests/cases/conformance/types/never/neverTypeErrors2.ts(8,5): error TS2322: Type '{}' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors2.ts(12,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors2.ts(16,5): error TS2322: Type '1' is not assignable to type 'never'.
-tests/cases/conformance/types/never/neverTypeErrors2.ts(19,16): error TS2534: A function returning 'never' cannot have a reachable end point.
+tests/cases/conformance/types/never/neverTypeErrors2.ts(9,5): error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
+tests/cases/conformance/types/never/neverTypeErrors2.ts(13,5): error TS2322: Type 'undefined' is not assignable to type 'never'.
+tests/cases/conformance/types/never/neverTypeErrors2.ts(17,5): error TS2322: Type '1' is not assignable to type 'never'.
+tests/cases/conformance/types/never/neverTypeErrors2.ts(20,16): error TS2534: A function returning 'never' cannot have a reachable end point.
 
 
-==== tests/cases/conformance/types/never/neverTypeErrors2.ts (9 errors) ====
+==== tests/cases/conformance/types/never/neverTypeErrors2.ts (10 errors) ====
     function f1() {
         let x: never;
         x = 1;
@@ -30,6 +31,9 @@ tests/cases/conformance/types/never/neverTypeErrors2.ts(19,16): error TS2534: A
         x = {};
         ~
 !!! error TS2322: Type '{}' is not assignable to type 'never'.
+        x();
+        ~~~
+!!! error TS2349: Cannot invoke an expression whose type lacks a call signature. Type 'never' has no compatible call signatures.
     }
     
     function f2(): never {
diff --git a/tests/baselines/reference/neverTypeErrors2.js b/tests/baselines/reference/neverTypeErrors2.js
index 70bdb4673c..940c4df555 100644
--- a/tests/baselines/reference/neverTypeErrors2.js
+++ b/tests/baselines/reference/neverTypeErrors2.js
@@ -7,6 +7,7 @@ function f1() {
     x = undefined;
     x = null;
     x = {};
+    x();
 }
 
 function f2(): never {
@@ -29,6 +30,7 @@ function f1() {
     x = undefined;
     x = null;
     x = {};
+    x();
 }
 function f2() {
     return;
diff --git a/tests/baselines/reference/neverTypeErrors2.symbols b/tests/baselines/reference/neverTypeErrors2.symbols
index 683751fe66..1743339157 100644
--- a/tests/baselines/reference/neverTypeErrors2.symbols
+++ b/tests/baselines/reference/neverTypeErrors2.symbols
@@ -23,20 +23,23 @@ function f1() {
 
     x = {};
 >x : Symbol(x, Decl(neverTypeErrors2.ts, 1, 7))
+
+    x();
+>x : Symbol(x, Decl(neverTypeErrors2.ts, 1, 7))
 }
 
 function f2(): never {
->f2 : Symbol(f2, Decl(neverTypeErrors2.ts, 8, 1))
+>f2 : Symbol(f2, Decl(neverTypeErrors2.ts, 9, 1))
 
     return;
 }
 
 function f3(): never {
->f3 : Symbol(f3, Decl(neverTypeErrors2.ts, 12, 1))
+>f3 : Symbol(f3, Decl(neverTypeErrors2.ts, 13, 1))
 
     return 1;
 }
 
 function f4(): never {
->f4 : Symbol(f4, Decl(neverTypeErrors2.ts, 16, 1))
+>f4 : Symbol(f4, Decl(neverTypeErrors2.ts, 17, 1))
 }
diff --git a/tests/baselines/reference/neverTypeErrors2.types b/tests/baselines/reference/neverTypeErrors2.types
index 071f1779a4..9e45bf1aeb 100644
--- a/tests/baselines/reference/neverTypeErrors2.types
+++ b/tests/baselines/reference/neverTypeErrors2.types
@@ -34,6 +34,10 @@ function f1() {
 >x = {} : {}
 >x : never
 >{} : {}
+
+    x();
+>x() : any
+>x : never
 }
 
 function f2(): never {