diff --git a/tests/baselines/reference/arrayCast.errors.txt b/tests/baselines/reference/arrayCast.errors.txt
index bb895475a18..61463e5557b 100644
--- a/tests/baselines/reference/arrayCast.errors.txt
+++ b/tests/baselines/reference/arrayCast.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/arrayCast.ts(3,23): error TS2323: Type '{ foo: string; }[]' is not comparable to type '{ id: number; }[]'.
+tests/cases/compiler/arrayCast.ts(3,23): error TS2352: Type '{ foo: string; }[]' cannot be converted to type '{ id: number; }[]'.
   Type '{ foo: string; }' is not comparable to type '{ id: number; }'.
     Object literal may only specify known properties, and 'foo' does not exist in type '{ id: number; }'.
 
@@ -8,9 +8,9 @@ tests/cases/compiler/arrayCast.ts(3,23): error TS2323: Type '{ foo: string; }[]'
     // has type { foo: string }[], which is not assignable to { id: number }[].
     <{ id: number; }[]>[{ foo: "s" }];
                           ~~~~~~~~
-!!! error TS2323: Type '{ foo: string; }[]' is not comparable to type '{ id: number; }[]'.
-!!! error TS2323:   Type '{ foo: string; }' is not comparable to type '{ id: number; }'.
-!!! error TS2323:     Object literal may only specify known properties, and 'foo' does not exist in type '{ id: number; }'.
+!!! error TS2352: Type '{ foo: string; }[]' cannot be converted to type '{ id: number; }[]'.
+!!! error TS2352:   Type '{ foo: string; }' is not comparable to type '{ id: number; }'.
+!!! error TS2352:     Object literal may only specify known properties, and 'foo' does not exist in type '{ id: number; }'.
     
     // Should succeed, as the {} element causes the type of the array to be {}[]
     <{ id: number; }[]>[{ foo: "s" }, {}]; 
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperator2.errors.txt b/tests/baselines/reference/asOperator2.errors.txt
index 0930191aae1..92603c25cb0 100644
--- a/tests/baselines/reference/asOperator2.errors.txt
+++ b/tests/baselines/reference/asOperator2.errors.txt
@@ -1,8 +1,8 @@
-tests/cases/conformance/expressions/asOperator/asOperator2.ts(1,9): error TS2323: Type 'number' is not comparable to type 'string'.
+tests/cases/conformance/expressions/asOperator/asOperator2.ts(1,9): error TS2352: Type 'number' cannot be converted to type 'string'.
 
 
 ==== tests/cases/conformance/expressions/asOperator/asOperator2.ts (1 errors) ====
     var x = 23 as string;
             ~~~~~~~~~~~~
-!!! error TS2323: Type 'number' is not comparable to type 'string'.
+!!! error TS2352: Type 'number' cannot be converted to type 'string'.
     
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperatorContextualType.errors.txt b/tests/baselines/reference/asOperatorContextualType.errors.txt
index 1a6cf43827c..9431d6123e2 100644
--- a/tests/baselines/reference/asOperatorContextualType.errors.txt
+++ b/tests/baselines/reference/asOperatorContextualType.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/conformance/expressions/asOperator/asOperatorContextualType.ts(2,9): error TS2323: Type '(v: number) => number' is not comparable to type '(x: number) => string'.
+tests/cases/conformance/expressions/asOperator/asOperatorContextualType.ts(2,9): error TS2352: Type '(v: number) => number' cannot be converted to type '(x: number) => string'.
   Type 'number' is not comparable to type 'string'.
 
 
@@ -6,5 +6,5 @@ tests/cases/conformance/expressions/asOperator/asOperatorContextualType.ts(2,9):
     // should error
     var x = (v => v) as (x: number) => string;
             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '(v: number) => number' is not comparable to type '(x: number) => string'.
-!!! error TS2323:   Type 'number' is not comparable to type 'string'.
\ No newline at end of file
+!!! error TS2352: Type '(v: number) => number' cannot be converted to type '(x: number) => string'.
+!!! error TS2352:   Type 'number' is not comparable to type 'string'.
\ No newline at end of file
diff --git a/tests/baselines/reference/asOperatorNames.errors.txt b/tests/baselines/reference/asOperatorNames.errors.txt
index f4ef8a64e2b..4f957791a24 100644
--- a/tests/baselines/reference/asOperatorNames.errors.txt
+++ b/tests/baselines/reference/asOperatorNames.errors.txt
@@ -1,11 +1,11 @@
-tests/cases/conformance/expressions/asOperator/asOperatorNames.ts(2,9): error TS2323: Type 'number' is not comparable to type 'string'.
+tests/cases/conformance/expressions/asOperator/asOperatorNames.ts(2,9): error TS2352: Type 'number' cannot be converted to type 'string'.
 
 
 ==== tests/cases/conformance/expressions/asOperator/asOperatorNames.ts (1 errors) ====
     var a = 20;
     var b = a as string;
             ~~~~~~~~~~~
-!!! error TS2323: Type 'number' is not comparable to type 'string'.
+!!! error TS2352: Type 'number' cannot be converted to type 'string'.
     var as = "hello";
     var as1 = as as string;
     
\ No newline at end of file
diff --git a/tests/baselines/reference/castingTuple.errors.txt b/tests/baselines/reference/castingTuple.errors.txt
index 4430c932bfc..6d5549c6bf2 100644
--- a/tests/baselines/reference/castingTuple.errors.txt
+++ b/tests/baselines/reference/castingTuple.errors.txt
@@ -1,7 +1,7 @@
-tests/cases/conformance/types/tuple/castingTuple.ts(28,10): error TS2323: Type '[number, string]' is not comparable to type '[number, number]'.
+tests/cases/conformance/types/tuple/castingTuple.ts(28,10): error TS2352: Type '[number, string]' cannot be converted to type '[number, number]'.
   Types of property '1' are incompatible.
     Type 'string' is not comparable to type 'number'.
-tests/cases/conformance/types/tuple/castingTuple.ts(29,10): error TS2323: Type '[C, D]' is not comparable to type '[A, I]'.
+tests/cases/conformance/types/tuple/castingTuple.ts(29,10): error TS2352: Type '[C, D]' cannot be converted to type '[A, I]'.
   Types of property '0' are incompatible.
     Type 'C' is not comparable to type 'A'.
       Property 'a' is missing in type 'C'.
@@ -39,15 +39,15 @@ tests/cases/conformance/types/tuple/castingTuple.ts(31,1): error TS2304: Cannot
     // error
     var t3 = <[number, number]>numStrTuple;
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '[number, string]' is not comparable to type '[number, number]'.
-!!! error TS2323:   Types of property '1' are incompatible.
-!!! error TS2323:     Type 'string' is not comparable to type 'number'.
+!!! error TS2352: Type '[number, string]' cannot be converted to type '[number, number]'.
+!!! error TS2352:   Types of property '1' are incompatible.
+!!! error TS2352:     Type 'string' is not comparable to type 'number'.
     var t9 = <[A, I]>classCDTuple;
              ~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '[C, D]' is not comparable to type '[A, I]'.
-!!! error TS2323:   Types of property '0' are incompatible.
-!!! error TS2323:     Type 'C' is not comparable to type 'A'.
-!!! error TS2323:       Property 'a' is missing in type 'C'.
+!!! error TS2352: Type '[C, D]' cannot be converted to type '[A, I]'.
+!!! error TS2352:   Types of property '0' are incompatible.
+!!! error TS2352:     Type 'C' is not comparable to type 'A'.
+!!! error TS2352:       Property 'a' is missing in type 'C'.
     var array1 = <number[]>numStrTuple;
         ~~~~~~
 !!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'array1' must be of type '{}[]', but here has type 'number[]'.
diff --git a/tests/baselines/reference/contextualTyping39.errors.txt b/tests/baselines/reference/contextualTyping39.errors.txt
index bb797c6a43e..9081480f4ba 100644
--- a/tests/baselines/reference/contextualTyping39.errors.txt
+++ b/tests/baselines/reference/contextualTyping39.errors.txt
@@ -1,9 +1,9 @@
-tests/cases/compiler/contextualTyping39.ts(1,11): error TS2323: Type '() => string' is not comparable to type '() => number'.
+tests/cases/compiler/contextualTyping39.ts(1,11): error TS2352: Type '() => string' cannot be converted to type '() => number'.
   Type 'string' is not comparable to type 'number'.
 
 
 ==== tests/cases/compiler/contextualTyping39.ts (1 errors) ====
     var foo = <{ (): number; }> function() { return "err"; };
               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '() => string' is not comparable to type '() => number'.
-!!! error TS2323:   Type 'string' is not comparable to type 'number'.
\ No newline at end of file
+!!! error TS2352: Type '() => string' cannot be converted to type '() => number'.
+!!! error TS2352:   Type 'string' is not comparable to type 'number'.
\ No newline at end of file
diff --git a/tests/baselines/reference/contextualTyping41.errors.txt b/tests/baselines/reference/contextualTyping41.errors.txt
index e3261e11843..418d435e7fe 100644
--- a/tests/baselines/reference/contextualTyping41.errors.txt
+++ b/tests/baselines/reference/contextualTyping41.errors.txt
@@ -1,9 +1,9 @@
-tests/cases/compiler/contextualTyping41.ts(1,11): error TS2323: Type '() => string' is not comparable to type '{ (): number; (i: number): number; }'.
+tests/cases/compiler/contextualTyping41.ts(1,11): error TS2352: Type '() => string' cannot be converted to type '{ (): number; (i: number): number; }'.
   Type 'string' is not comparable to type 'number'.
 
 
 ==== tests/cases/compiler/contextualTyping41.ts (1 errors) ====
     var foo = <{():number; (i:number):number; }> (function(){return "err";});
               ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '() => string' is not comparable to type '{ (): number; (i: number): number; }'.
-!!! error TS2323:   Type 'string' is not comparable to type 'number'.
\ No newline at end of file
+!!! error TS2352: Type '() => string' cannot be converted to type '{ (): number; (i: number): number; }'.
+!!! error TS2352:   Type 'string' is not comparable to type 'number'.
\ No newline at end of file
diff --git a/tests/baselines/reference/defaultArgsInFunctionExpressions.errors.txt b/tests/baselines/reference/defaultArgsInFunctionExpressions.errors.txt
index 7b7166843c3..60a9e92bc95 100644
--- a/tests/baselines/reference/defaultArgsInFunctionExpressions.errors.txt
+++ b/tests/baselines/reference/defaultArgsInFunctionExpressions.errors.txt
@@ -2,9 +2,9 @@ tests/cases/compiler/defaultArgsInFunctionExpressions.ts(4,19): error TS2345: Ar
 tests/cases/compiler/defaultArgsInFunctionExpressions.ts(5,1): error TS2322: Type 'number' is not assignable to type 'string'.
 tests/cases/compiler/defaultArgsInFunctionExpressions.ts(8,20): error TS2322: Type 'number' is not assignable to type 'string'.
 tests/cases/compiler/defaultArgsInFunctionExpressions.ts(11,1): error TS2322: Type 'string' is not assignable to type 'number'.
-tests/cases/compiler/defaultArgsInFunctionExpressions.ts(14,51): error TS2323: Type 'string' is not comparable to type 'number'.
+tests/cases/compiler/defaultArgsInFunctionExpressions.ts(14,51): error TS2352: Type 'string' cannot be converted to type 'number'.
 tests/cases/compiler/defaultArgsInFunctionExpressions.ts(17,41): error TS2322: Type 'string' is not assignable to type 'number'.
-tests/cases/compiler/defaultArgsInFunctionExpressions.ts(20,62): error TS2323: Type 'string' is not comparable to type 'number'.
+tests/cases/compiler/defaultArgsInFunctionExpressions.ts(20,62): error TS2352: Type 'string' cannot be converted to type 'number'.
 tests/cases/compiler/defaultArgsInFunctionExpressions.ts(28,15): error TS2304: Cannot find name 'T'.
 
 
@@ -32,7 +32,7 @@ tests/cases/compiler/defaultArgsInFunctionExpressions.ts(28,15): error TS2304: C
     // Contextually type the default arg with the type annotation
     var f3 = function (a: (s: string) => any = (s) => <number>s) { };
                                                       ~~~~~~~~~
-!!! error TS2323: Type 'string' is not comparable to type 'number'.
+!!! error TS2352: Type 'string' cannot be converted to type 'number'.
     
     // Type check using the function's contextual type
     var f4: (a: number) => void = function (a = "") { };
@@ -42,7 +42,7 @@ tests/cases/compiler/defaultArgsInFunctionExpressions.ts(28,15): error TS2304: C
     // Contextually type the default arg using the function's contextual type
     var f5: (a: (s: string) => any) => void = function (a = s => <number>s) { };
                                                                  ~~~~~~~~~
-!!! error TS2323: Type 'string' is not comparable to type 'number'.
+!!! error TS2352: Type 'string' cannot be converted to type 'number'.
     
     // Instantiated module
     module T { }
diff --git a/tests/baselines/reference/fuzzy.errors.txt b/tests/baselines/reference/fuzzy.errors.txt
index f39b520759c..19f0ad56a5e 100644
--- a/tests/baselines/reference/fuzzy.errors.txt
+++ b/tests/baselines/reference/fuzzy.errors.txt
@@ -4,7 +4,7 @@ tests/cases/compiler/fuzzy.ts(21,20): error TS2322: Type '{ anything: number; on
   Types of property 'oneI' are incompatible.
     Type 'this' is not assignable to type 'I'.
       Type 'C' is not assignable to type 'I'.
-tests/cases/compiler/fuzzy.ts(25,20): error TS2323: Type '{ oneI: this; }' is not comparable to type 'R'.
+tests/cases/compiler/fuzzy.ts(25,20): error TS2352: Type '{ oneI: this; }' cannot be converted to type 'R'.
   Property 'anything' is missing in type '{ oneI: this; }'.
 
 
@@ -43,8 +43,8 @@ tests/cases/compiler/fuzzy.ts(25,20): error TS2323: Type '{ oneI: this; }' is no
             worksToo():R {
                 return <R>({ oneI: this });
                        ~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '{ oneI: this; }' is not comparable to type 'R'.
-!!! error TS2323:   Property 'anything' is missing in type '{ oneI: this; }'.
+!!! error TS2352: Type '{ oneI: this; }' cannot be converted to type 'R'.
+!!! error TS2352:   Property 'anything' is missing in type '{ oneI: this; }'.
             }
         }
     }
diff --git a/tests/baselines/reference/genericTypeAssertions1.errors.txt b/tests/baselines/reference/genericTypeAssertions1.errors.txt
index 3e0157f9863..aa5f14f5da8 100644
--- a/tests/baselines/reference/genericTypeAssertions1.errors.txt
+++ b/tests/baselines/reference/genericTypeAssertions1.errors.txt
@@ -2,7 +2,7 @@ tests/cases/compiler/genericTypeAssertions1.ts(3,5): error TS2322: Type 'A<numbe
   Type 'number' is not assignable to type 'string'.
 tests/cases/compiler/genericTypeAssertions1.ts(4,5): error TS2322: Type 'A<A<number>>' is not assignable to type 'A<number>'.
   Type 'A<number>' is not assignable to type 'number'.
-tests/cases/compiler/genericTypeAssertions1.ts(4,21): error TS2323: Type 'A<number>' is not comparable to type 'A<A<number>>'.
+tests/cases/compiler/genericTypeAssertions1.ts(4,21): error TS2352: Type 'A<number>' cannot be converted to type 'A<A<number>>'.
   Type 'number' is not comparable to type 'A<number>'.
 
 
@@ -18,5 +18,5 @@ tests/cases/compiler/genericTypeAssertions1.ts(4,21): error TS2323: Type 'A<numb
 !!! error TS2322: Type 'A<A<number>>' is not assignable to type 'A<number>'.
 !!! error TS2322:   Type 'A<number>' is not assignable to type 'number'.
                         ~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'A<number>' is not comparable to type 'A<A<number>>'.
-!!! error TS2323:   Type 'number' is not comparable to type 'A<number>'.
\ No newline at end of file
+!!! error TS2352: Type 'A<number>' cannot be converted to type 'A<A<number>>'.
+!!! error TS2352:   Type 'number' is not comparable to type 'A<number>'.
\ No newline at end of file
diff --git a/tests/baselines/reference/genericTypeAssertions2.errors.txt b/tests/baselines/reference/genericTypeAssertions2.errors.txt
index 908255b1d33..71848c5be02 100644
--- a/tests/baselines/reference/genericTypeAssertions2.errors.txt
+++ b/tests/baselines/reference/genericTypeAssertions2.errors.txt
@@ -5,7 +5,7 @@ tests/cases/compiler/genericTypeAssertions2.ts(10,5): error TS2322: Type 'B<stri
         Type 'string' is not assignable to type 'number'.
 tests/cases/compiler/genericTypeAssertions2.ts(11,5): error TS2322: Type 'A<number>' is not assignable to type 'B<number>'.
   Property 'bar' is missing in type 'A<number>'.
-tests/cases/compiler/genericTypeAssertions2.ts(13,21): error TS2323: Type 'undefined[]' is not comparable to type 'A<number>'.
+tests/cases/compiler/genericTypeAssertions2.ts(13,21): error TS2352: Type 'undefined[]' cannot be converted to type 'A<number>'.
   Property 'foo' is missing in type 'undefined[]'.
 
 
@@ -33,5 +33,5 @@ tests/cases/compiler/genericTypeAssertions2.ts(13,21): error TS2323: Type 'undef
     var r4: A<number> = <A<number>>new A();
     var r5: A<number> = <A<number>>[]; // error
                         ~~~~~~~~~~~~~
-!!! error TS2323: Type 'undefined[]' is not comparable to type 'A<number>'.
-!!! error TS2323:   Property 'foo' is missing in type 'undefined[]'.
\ No newline at end of file
+!!! error TS2352: Type 'undefined[]' cannot be converted to type 'A<number>'.
+!!! error TS2352:   Property 'foo' is missing in type 'undefined[]'.
\ No newline at end of file
diff --git a/tests/baselines/reference/genericTypeAssertions4.errors.txt b/tests/baselines/reference/genericTypeAssertions4.errors.txt
index cffacb6b0dc..401834930f3 100644
--- a/tests/baselines/reference/genericTypeAssertions4.errors.txt
+++ b/tests/baselines/reference/genericTypeAssertions4.errors.txt
@@ -1,8 +1,8 @@
 tests/cases/compiler/genericTypeAssertions4.ts(19,5): error TS2322: Type 'A' is not assignable to type 'T'.
 tests/cases/compiler/genericTypeAssertions4.ts(20,5): error TS2322: Type 'B' is not assignable to type 'T'.
 tests/cases/compiler/genericTypeAssertions4.ts(21,5): error TS2322: Type 'C' is not assignable to type 'T'.
-tests/cases/compiler/genericTypeAssertions4.ts(23,9): error TS2323: Type 'B' is not comparable to type 'T'.
-tests/cases/compiler/genericTypeAssertions4.ts(24,9): error TS2323: Type 'C' is not comparable to type 'T'.
+tests/cases/compiler/genericTypeAssertions4.ts(23,9): error TS2352: Type 'B' cannot be converted to type 'T'.
+tests/cases/compiler/genericTypeAssertions4.ts(24,9): error TS2352: Type 'C' cannot be converted to type 'T'.
 
 
 ==== tests/cases/compiler/genericTypeAssertions4.ts (5 errors) ====
@@ -36,8 +36,8 @@ tests/cases/compiler/genericTypeAssertions4.ts(24,9): error TS2323: Type 'C' is
         y = <T>a;
         y = <T>b; // error: cannot convert B to T
             ~~~~
-!!! error TS2323: Type 'B' is not comparable to type 'T'.
+!!! error TS2352: Type 'B' cannot be converted to type 'T'.
         y = <T>c; // error: cannot convert C to T
             ~~~~
-!!! error TS2323: Type 'C' is not comparable to type 'T'.
+!!! error TS2352: Type 'C' cannot be converted to type 'T'.
     }
\ No newline at end of file
diff --git a/tests/baselines/reference/genericTypeAssertions5.errors.txt b/tests/baselines/reference/genericTypeAssertions5.errors.txt
index f7f2be41825..45f76073363 100644
--- a/tests/baselines/reference/genericTypeAssertions5.errors.txt
+++ b/tests/baselines/reference/genericTypeAssertions5.errors.txt
@@ -1,8 +1,8 @@
 tests/cases/compiler/genericTypeAssertions5.ts(19,5): error TS2322: Type 'A' is not assignable to type 'T'.
 tests/cases/compiler/genericTypeAssertions5.ts(20,5): error TS2322: Type 'B' is not assignable to type 'T'.
 tests/cases/compiler/genericTypeAssertions5.ts(21,5): error TS2322: Type 'C' is not assignable to type 'T'.
-tests/cases/compiler/genericTypeAssertions5.ts(23,9): error TS2323: Type 'B' is not comparable to type 'T'.
-tests/cases/compiler/genericTypeAssertions5.ts(24,9): error TS2323: Type 'C' is not comparable to type 'T'.
+tests/cases/compiler/genericTypeAssertions5.ts(23,9): error TS2352: Type 'B' cannot be converted to type 'T'.
+tests/cases/compiler/genericTypeAssertions5.ts(24,9): error TS2352: Type 'C' cannot be converted to type 'T'.
 
 
 ==== tests/cases/compiler/genericTypeAssertions5.ts (5 errors) ====
@@ -36,8 +36,8 @@ tests/cases/compiler/genericTypeAssertions5.ts(24,9): error TS2323: Type 'C' is
         y = <T>a;
         y = <T>b; // error: cannot convert B to T
             ~~~~
-!!! error TS2323: Type 'B' is not comparable to type 'T'.
+!!! error TS2352: Type 'B' cannot be converted to type 'T'.
         y = <T>c; // error: cannot convert C to T
             ~~~~
-!!! error TS2323: Type 'C' is not comparable to type 'T'.
+!!! error TS2352: Type 'C' cannot be converted to type 'T'.
     }
\ No newline at end of file
diff --git a/tests/baselines/reference/genericTypeAssertions6.errors.txt b/tests/baselines/reference/genericTypeAssertions6.errors.txt
index 4ea7d3602eb..1bda683b88a 100644
--- a/tests/baselines/reference/genericTypeAssertions6.errors.txt
+++ b/tests/baselines/reference/genericTypeAssertions6.errors.txt
@@ -1,6 +1,6 @@
-tests/cases/compiler/genericTypeAssertions6.ts(8,13): error TS2323: Type 'U' is not comparable to type 'T'.
-tests/cases/compiler/genericTypeAssertions6.ts(9,13): error TS2323: Type 'T' is not comparable to type 'U'.
-tests/cases/compiler/genericTypeAssertions6.ts(19,17): error TS2323: Type 'U' is not comparable to type 'T'.
+tests/cases/compiler/genericTypeAssertions6.ts(8,13): error TS2352: Type 'U' cannot be converted to type 'T'.
+tests/cases/compiler/genericTypeAssertions6.ts(9,13): error TS2352: Type 'T' cannot be converted to type 'U'.
+tests/cases/compiler/genericTypeAssertions6.ts(19,17): error TS2352: Type 'U' cannot be converted to type 'T'.
   Type 'Date' is not comparable to type 'T'.
 
 
@@ -14,10 +14,10 @@ tests/cases/compiler/genericTypeAssertions6.ts(19,17): error TS2323: Type 'U' is
         f(x: T, y: U) {
             x = <T>y;
                 ~~~~
-!!! error TS2323: Type 'U' is not comparable to type 'T'.
+!!! error TS2352: Type 'U' cannot be converted to type 'T'.
             y = <U>x;
                 ~~~~
-!!! error TS2323: Type 'T' is not comparable to type 'U'.
+!!! error TS2352: Type 'T' cannot be converted to type 'U'.
         }
     }
     
@@ -29,8 +29,8 @@ tests/cases/compiler/genericTypeAssertions6.ts(19,17): error TS2323: Type 'U' is
             var d = <U>new Date();
             var e = <T><U>new Date();
                     ~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'U' is not comparable to type 'T'.
-!!! error TS2323:   Type 'Date' is not comparable to type 'T'.
+!!! error TS2352: Type 'U' cannot be converted to type 'T'.
+!!! error TS2352:   Type 'Date' is not comparable to type 'T'.
         }
     }
     
diff --git a/tests/baselines/reference/intTypeCheck.errors.txt b/tests/baselines/reference/intTypeCheck.errors.txt
index 175c5ea7979..29388521104 100644
--- a/tests/baselines/reference/intTypeCheck.errors.txt
+++ b/tests/baselines/reference/intTypeCheck.errors.txt
@@ -61,7 +61,7 @@ tests/cases/compiler/intTypeCheck.ts(176,22): error TS2304: Cannot find name 'i6
 tests/cases/compiler/intTypeCheck.ts(177,17): error TS2351: Cannot use 'new' with an expression whose type lacks a call or construct signature.
 tests/cases/compiler/intTypeCheck.ts(182,5): error TS2322: Type '{}' is not assignable to type 'i7'.
 tests/cases/compiler/intTypeCheck.ts(183,5): error TS2322: Type 'Object' is not assignable to type 'i7'.
-tests/cases/compiler/intTypeCheck.ts(185,17): error TS2323: Type 'Base' is not comparable to type 'i7'.
+tests/cases/compiler/intTypeCheck.ts(185,17): error TS2352: Type 'Base' cannot be converted to type 'i7'.
 tests/cases/compiler/intTypeCheck.ts(187,5): error TS2322: Type '() => void' is not assignable to type 'i7'.
 tests/cases/compiler/intTypeCheck.ts(190,5): error TS2322: Type 'boolean' is not assignable to type 'i7'.
 tests/cases/compiler/intTypeCheck.ts(190,21): error TS1109: Expression expected.
@@ -377,7 +377,7 @@ tests/cases/compiler/intTypeCheck.ts(205,17): error TS2351: Cannot use 'new' wit
     var obj69: i7 = new obj66;
     var obj70: i7 = <i7>new Base;
                     ~~~~~~~~~~~~
-!!! error TS2323: Type 'Base' is not comparable to type 'i7'.
+!!! error TS2352: Type 'Base' cannot be converted to type 'i7'.
     var obj71: i7 = null;
     var obj72: i7 = function () { };
         ~~~~~
diff --git a/tests/baselines/reference/literals-negative.errors.txt b/tests/baselines/reference/literals-negative.errors.txt
index 40a00989717..2024066d9f2 100644
--- a/tests/baselines/reference/literals-negative.errors.txt
+++ b/tests/baselines/reference/literals-negative.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/literals-negative.ts(5,9): error TS2323: Type 'number' is not comparable to type 'boolean'.
+tests/cases/compiler/literals-negative.ts(5,9): error TS2352: Type 'number' cannot be converted to type 'boolean'.
 
 
 ==== tests/cases/compiler/literals-negative.ts (1 errors) ====
@@ -8,7 +8,7 @@ tests/cases/compiler/literals-negative.ts(5,9): error TS2323: Type 'number' is n
     var s = <string>(null);
     var b = <boolean>(n);
             ~~~~~~~~~~~~
-!!! error TS2323: Type 'number' is not comparable to type 'boolean'.
+!!! error TS2352: Type 'number' cannot be converted to type 'boolean'.
     
     function isVoid() : void { }
     
diff --git a/tests/baselines/reference/noImplicitAnyInCastExpression.errors.txt b/tests/baselines/reference/noImplicitAnyInCastExpression.errors.txt
index 35b11dc5b61..8243a9c68ce 100644
--- a/tests/baselines/reference/noImplicitAnyInCastExpression.errors.txt
+++ b/tests/baselines/reference/noImplicitAnyInCastExpression.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/noImplicitAnyInCastExpression.ts(16,2): error TS2323: Type '{ c: null; }' is not comparable to type 'IFoo'.
+tests/cases/compiler/noImplicitAnyInCastExpression.ts(16,2): error TS2352: Type '{ c: null; }' cannot be converted to type 'IFoo'.
   Property 'a' is missing in type '{ c: null; }'.
 
 
@@ -20,5 +20,5 @@ tests/cases/compiler/noImplicitAnyInCastExpression.ts(16,2): error TS2323: Type
     // Neither types is assignable to each other
     (<IFoo>{ c: null });
      ~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type '{ c: null; }' is not comparable to type 'IFoo'.
-!!! error TS2323:   Property 'a' is missing in type '{ c: null; }'.
\ No newline at end of file
+!!! error TS2352: Type '{ c: null; }' cannot be converted to type 'IFoo'.
+!!! error TS2352:   Property 'a' is missing in type '{ c: null; }'.
\ No newline at end of file
diff --git a/tests/baselines/reference/objectTypesIdentityWithPrivates3.errors.txt b/tests/baselines/reference/objectTypesIdentityWithPrivates3.errors.txt
index b74518ad062..2342065605b 100644
--- a/tests/baselines/reference/objectTypesIdentityWithPrivates3.errors.txt
+++ b/tests/baselines/reference/objectTypesIdentityWithPrivates3.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWithPrivates3.ts(25,1): error TS2323: Type 'C3<T2>' is not comparable to type 'C4'.
+tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectTypesIdentityWithPrivates3.ts(25,1): error TS2352: Type 'C3<T2>' cannot be converted to type 'C4'.
   Property 'y' is missing in type 'C3<T2>'.
 
 
@@ -29,5 +29,5 @@ tests/cases/conformance/types/typeRelationships/typeAndMemberIdentity/objectType
     var c3: C3<T2>;
     <C4>c3; // Should fail (private x originates in the same declaration, but different types)
     ~~~~~~
-!!! error TS2323: Type 'C3<T2>' is not comparable to type 'C4'.
-!!! error TS2323:   Property 'y' is missing in type 'C3<T2>'.
\ No newline at end of file
+!!! error TS2352: Type 'C3<T2>' cannot be converted to type 'C4'.
+!!! error TS2352:   Property 'y' is missing in type 'C3<T2>'.
\ No newline at end of file
diff --git a/tests/baselines/reference/typeAssertions.errors.txt b/tests/baselines/reference/typeAssertions.errors.txt
index da2dcbd8877..baabc272bf3 100644
--- a/tests/baselines/reference/typeAssertions.errors.txt
+++ b/tests/baselines/reference/typeAssertions.errors.txt
@@ -1,11 +1,11 @@
 tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(5,5): error TS2346: Supplied parameters do not match any signature of call target.
-tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(31,12): error TS2323: Type 'SomeOther' is not comparable to type 'SomeBase'.
+tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(31,12): error TS2352: Type 'SomeOther' cannot be converted to type 'SomeBase'.
   Property 'p' is missing in type 'SomeOther'.
-tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(35,15): error TS2323: Type 'SomeOther' is not comparable to type 'SomeDerived'.
+tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(35,15): error TS2352: Type 'SomeOther' cannot be converted to type 'SomeDerived'.
   Property 'x' is missing in type 'SomeOther'.
-tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(37,13): error TS2323: Type 'SomeDerived' is not comparable to type 'SomeOther'.
+tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(37,13): error TS2352: Type 'SomeDerived' cannot be converted to type 'SomeOther'.
   Property 'q' is missing in type 'SomeDerived'.
-tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(38,13): error TS2323: Type 'SomeBase' is not comparable to type 'SomeOther'.
+tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(38,13): error TS2352: Type 'SomeBase' cannot be converted to type 'SomeOther'.
   Property 'q' is missing in type 'SomeBase'.
 
 
@@ -44,24 +44,24 @@ tests/cases/conformance/expressions/typeAssertions/typeAssertions.ts(38,13): err
     someBase = <SomeBase>someBase;
     someBase = <SomeBase>someOther; // Error
                ~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'SomeOther' is not comparable to type 'SomeBase'.
-!!! error TS2323:   Property 'p' is missing in type 'SomeOther'.
+!!! error TS2352: Type 'SomeOther' cannot be converted to type 'SomeBase'.
+!!! error TS2352:   Property 'p' is missing in type 'SomeOther'.
     
     someDerived = <SomeDerived>someDerived;
     someDerived = <SomeDerived>someBase;
     someDerived = <SomeDerived>someOther; // Error
                   ~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'SomeOther' is not comparable to type 'SomeDerived'.
-!!! error TS2323:   Property 'x' is missing in type 'SomeOther'.
+!!! error TS2352: Type 'SomeOther' cannot be converted to type 'SomeDerived'.
+!!! error TS2352:   Property 'x' is missing in type 'SomeOther'.
     
     someOther = <SomeOther>someDerived; // Error
                 ~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'SomeDerived' is not comparable to type 'SomeOther'.
-!!! error TS2323:   Property 'q' is missing in type 'SomeDerived'.
+!!! error TS2352: Type 'SomeDerived' cannot be converted to type 'SomeOther'.
+!!! error TS2352:   Property 'q' is missing in type 'SomeDerived'.
     someOther = <SomeOther>someBase; // Error
                 ~~~~~~~~~~~~~~~~~~~
-!!! error TS2323: Type 'SomeBase' is not comparable to type 'SomeOther'.
-!!! error TS2323:   Property 'q' is missing in type 'SomeBase'.
+!!! error TS2352: Type 'SomeBase' cannot be converted to type 'SomeOther'.
+!!! error TS2352:   Property 'q' is missing in type 'SomeBase'.
     someOther = <SomeOther>someOther;
     
     
diff --git a/tests/baselines/reference/typeAssertionsWithIntersectionTypes01.errors.txt b/tests/baselines/reference/typeAssertionsWithIntersectionTypes01.errors.txt
index c663c6a41e4..42ed640e8fc 100644
--- a/tests/baselines/reference/typeAssertionsWithIntersectionTypes01.errors.txt
+++ b/tests/baselines/reference/typeAssertionsWithIntersectionTypes01.errors.txt
@@ -1,7 +1,7 @@
-tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithIntersectionTypes01.ts(17,9): error TS2323: Type 'I2' is not comparable to type 'I1 & I3'.
+tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithIntersectionTypes01.ts(17,9): error TS2352: Type 'I2' cannot be converted to type 'I1 & I3'.
   Type 'I2' is not comparable to type 'I3'.
     Property 'p3' is missing in type 'I2'.
-tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithIntersectionTypes01.ts(18,9): error TS2323: Type 'I2' is not comparable to type 'I3'.
+tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithIntersectionTypes01.ts(18,9): error TS2352: Type 'I2' cannot be converted to type 'I3'.
 
 
 ==== tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithIntersectionTypes01.ts (2 errors) ====
@@ -23,12 +23,12 @@ tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithInt
     
     var a = <I1 & I3>z;
             ~~~~~~~~~~
-!!! error TS2323: Type 'I2' is not comparable to type 'I1 & I3'.
-!!! error TS2323:   Type 'I2' is not comparable to type 'I3'.
-!!! error TS2323:     Property 'p3' is missing in type 'I2'.
+!!! error TS2352: Type 'I2' cannot be converted to type 'I1 & I3'.
+!!! error TS2352:   Type 'I2' is not comparable to type 'I3'.
+!!! error TS2352:     Property 'p3' is missing in type 'I2'.
     var b = <I3>z;
             ~~~~~
-!!! error TS2323: Type 'I2' is not comparable to type 'I3'.
+!!! error TS2352: Type 'I2' cannot be converted to type 'I3'.
     var c = <I2>z;
     var d = <I1>y;
     
\ No newline at end of file
diff --git a/tests/baselines/reference/typeAssertionsWithUnionTypes01.errors.txt b/tests/baselines/reference/typeAssertionsWithUnionTypes01.errors.txt
index a25b6bbb832..7bc2a9df9b3 100644
--- a/tests/baselines/reference/typeAssertionsWithUnionTypes01.errors.txt
+++ b/tests/baselines/reference/typeAssertionsWithUnionTypes01.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithUnionTypes01.ts(14,9): error TS2323: Type 'I1' is not comparable to type 'number'.
+tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithUnionTypes01.ts(14,9): error TS2352: Type 'I1' cannot be converted to type 'number'.
 
 
 ==== tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithUnionTypes01.ts (1 errors) ====
@@ -17,7 +17,7 @@ tests/cases/conformance/types/typeRelationships/comparable/typeAssertionsWithUni
     var a = <number | I2>z;
     var b = <number>z;
             ~~~~~~~~~
-!!! error TS2323: Type 'I1' is not comparable to type 'number'.
+!!! error TS2352: Type 'I1' cannot be converted to type 'number'.
     var c = <I2>z;
     var d = <I1>y;
     
\ No newline at end of file