diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 1d1d16b7ee11e..72c88a7a132af 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -17738,15 +17738,14 @@ namespace ts {
             return getBestChoiceType(type1, type2);
         }
 
-        function checkLiteralExpression(node: Expression): Type {
-            if (node.kind === SyntaxKind.NumericLiteral) {
-                checkGrammarNumericLiteral(<NumericLiteral>node);
-            }
+        function checkLiteralExpression(node: LiteralExpression | Token<SyntaxKind.TrueKeyword | SyntaxKind.FalseKeyword>): Type {
             switch (node.kind) {
+                case SyntaxKind.NoSubstitutionTemplateLiteral:
                 case SyntaxKind.StringLiteral:
-                    return getFreshTypeOfLiteralType(getLiteralType((<LiteralExpression>node).text));
+                    return getFreshTypeOfLiteralType(getLiteralType(node.text));
                 case SyntaxKind.NumericLiteral:
-                    return getFreshTypeOfLiteralType(getLiteralType(+(<LiteralExpression>node).text));
+                    checkGrammarNumericLiteral(<NumericLiteral>node);
+                    return getFreshTypeOfLiteralType(getLiteralType(+node.text));
                 case SyntaxKind.TrueKeyword:
                     return trueType;
                 case SyntaxKind.FalseKeyword:
@@ -17964,15 +17963,14 @@ namespace ts {
                     return checkSuperExpression(node);
                 case SyntaxKind.NullKeyword:
                     return nullWideningType;
+                case SyntaxKind.NoSubstitutionTemplateLiteral:
                 case SyntaxKind.StringLiteral:
                 case SyntaxKind.NumericLiteral:
                 case SyntaxKind.TrueKeyword:
                 case SyntaxKind.FalseKeyword:
-                    return checkLiteralExpression(node);
+                    return checkLiteralExpression(node as LiteralExpression);
                 case SyntaxKind.TemplateExpression:
                     return checkTemplateExpression(<TemplateExpression>node);
-                case SyntaxKind.NoSubstitutionTemplateLiteral:
-                    return stringType;
                 case SyntaxKind.RegularExpressionLiteral:
                     return globalRegExpType;
                 case SyntaxKind.ArrayLiteralExpression:
diff --git a/tests/baselines/reference/asOperator3.types b/tests/baselines/reference/asOperator3.types
index a888d70892b3e..e5e319d3caf3a 100644
--- a/tests/baselines/reference/asOperator3.types
+++ b/tests/baselines/reference/asOperator3.types
@@ -36,7 +36,7 @@ var d = `Hello ${123} World` as string;
 var e = `Hello` as string;
 >e : string
 >`Hello` as string : string
->`Hello` : string
+>`Hello` : "Hello"
 
 var f = 1 + `${1} end of string` as string;
 >f : string
@@ -59,5 +59,5 @@ var h = tag `Hello` as string;
 >tag `Hello` as string : string
 >tag `Hello` : any
 >tag : (...x: any[]) => any
->`Hello` : string
+>`Hello` : "Hello"
 
diff --git a/tests/baselines/reference/asOperatorASI.types b/tests/baselines/reference/asOperatorASI.types
index e5e1de88c29fd..985806bf040e2 100644
--- a/tests/baselines/reference/asOperatorASI.types
+++ b/tests/baselines/reference/asOperatorASI.types
@@ -14,7 +14,7 @@ var x = 10
 as `Hello world`; // should not error
 >as `Hello world` : any
 >as : (...args: any[]) => any
->`Hello world` : string
+>`Hello world` : "Hello world"
 
 // Example 2
 var y = 20
diff --git a/tests/baselines/reference/computedPropertyNames10_ES5.types b/tests/baselines/reference/computedPropertyNames10_ES5.types
index 9613097929857..4750d44fde8b2 100644
--- a/tests/baselines/reference/computedPropertyNames10_ES5.types
+++ b/tests/baselines/reference/computedPropertyNames10_ES5.types
@@ -46,7 +46,7 @@ var v = {
 >true : true
 
     [`hello bye`]() { },
->`hello bye` : string
+>`hello bye` : "hello bye"
 
     [`hello ${a} bye`]() { }
 >`hello ${a} bye` : string
diff --git a/tests/baselines/reference/computedPropertyNames10_ES6.types b/tests/baselines/reference/computedPropertyNames10_ES6.types
index 5bbda2e8f19c0..3a12047f588fe 100644
--- a/tests/baselines/reference/computedPropertyNames10_ES6.types
+++ b/tests/baselines/reference/computedPropertyNames10_ES6.types
@@ -46,7 +46,7 @@ var v = {
 >true : true
 
     [`hello bye`]() { },
->`hello bye` : string
+>`hello bye` : "hello bye"
 
     [`hello ${a} bye`]() { }
 >`hello ${a} bye` : string
diff --git a/tests/baselines/reference/computedPropertyNames11_ES5.types b/tests/baselines/reference/computedPropertyNames11_ES5.types
index 88fbc690323e8..08aa14aa91145 100644
--- a/tests/baselines/reference/computedPropertyNames11_ES5.types
+++ b/tests/baselines/reference/computedPropertyNames11_ES5.types
@@ -55,7 +55,7 @@ var v = {
 >0 : 0
 
     set [`hello bye`](v) { },
->`hello bye` : string
+>`hello bye` : "hello bye"
 >v : any
 
     get [`hello ${a} bye`]() { return 0; }
diff --git a/tests/baselines/reference/computedPropertyNames11_ES6.types b/tests/baselines/reference/computedPropertyNames11_ES6.types
index 458d6d1de4904..2f61eb59d6179 100644
--- a/tests/baselines/reference/computedPropertyNames11_ES6.types
+++ b/tests/baselines/reference/computedPropertyNames11_ES6.types
@@ -55,7 +55,7 @@ var v = {
 >0 : 0
 
     set [`hello bye`](v) { },
->`hello bye` : string
+>`hello bye` : "hello bye"
 >v : any
 
     get [`hello ${a} bye`]() { return 0; }
diff --git a/tests/baselines/reference/computedPropertyNames13_ES5.types b/tests/baselines/reference/computedPropertyNames13_ES5.types
index 2585fe15f94e9..a4381fdb891e6 100644
--- a/tests/baselines/reference/computedPropertyNames13_ES5.types
+++ b/tests/baselines/reference/computedPropertyNames13_ES5.types
@@ -45,7 +45,7 @@ class C {
 >true : true
 
     [`hello bye`]() { }
->`hello bye` : string
+>`hello bye` : "hello bye"
 
     static [`hello ${a} bye`]() { }
 >`hello ${a} bye` : string
diff --git a/tests/baselines/reference/computedPropertyNames13_ES6.types b/tests/baselines/reference/computedPropertyNames13_ES6.types
index 61e8cae265c0a..48a989f9af1dd 100644
--- a/tests/baselines/reference/computedPropertyNames13_ES6.types
+++ b/tests/baselines/reference/computedPropertyNames13_ES6.types
@@ -45,7 +45,7 @@ class C {
 >true : true
 
     [`hello bye`]() { }
->`hello bye` : string
+>`hello bye` : "hello bye"
 
     static [`hello ${a} bye`]() { }
 >`hello ${a} bye` : string
diff --git a/tests/baselines/reference/computedPropertyNames16_ES5.types b/tests/baselines/reference/computedPropertyNames16_ES5.types
index 5c0fb34bc25dc..5f14d4d4c5d7f 100644
--- a/tests/baselines/reference/computedPropertyNames16_ES5.types
+++ b/tests/baselines/reference/computedPropertyNames16_ES5.types
@@ -54,7 +54,7 @@ class C {
 >0 : 0
 
     set [`hello bye`](v) { }
->`hello bye` : string
+>`hello bye` : "hello bye"
 >v : any
 
     get [`hello ${a} bye`]() { return 0; }
diff --git a/tests/baselines/reference/computedPropertyNames16_ES6.types b/tests/baselines/reference/computedPropertyNames16_ES6.types
index 7ebb2cd006051..d7f00f77d324d 100644
--- a/tests/baselines/reference/computedPropertyNames16_ES6.types
+++ b/tests/baselines/reference/computedPropertyNames16_ES6.types
@@ -54,7 +54,7 @@ class C {
 >0 : 0
 
     set [`hello bye`](v) { }
->`hello bye` : string
+>`hello bye` : "hello bye"
 >v : any
 
     get [`hello ${a} bye`]() { return 0; }
diff --git a/tests/baselines/reference/computedPropertyNames4_ES5.types b/tests/baselines/reference/computedPropertyNames4_ES5.types
index 6f875aaddac3f..fc883aa2833b8 100644
--- a/tests/baselines/reference/computedPropertyNames4_ES5.types
+++ b/tests/baselines/reference/computedPropertyNames4_ES5.types
@@ -55,7 +55,7 @@ var v = {
 >0 : 0
 
     [`hello bye`]: 0,
->`hello bye` : string
+>`hello bye` : "hello bye"
 >0 : 0
 
     [`hello ${a} bye`]: 0
diff --git a/tests/baselines/reference/computedPropertyNames4_ES6.types b/tests/baselines/reference/computedPropertyNames4_ES6.types
index e9feac0a81fcb..5704841b97fdb 100644
--- a/tests/baselines/reference/computedPropertyNames4_ES6.types
+++ b/tests/baselines/reference/computedPropertyNames4_ES6.types
@@ -55,7 +55,7 @@ var v = {
 >0 : 0
 
     [`hello bye`]: 0,
->`hello bye` : string
+>`hello bye` : "hello bye"
 >0 : 0
 
     [`hello ${a} bye`]: 0
diff --git a/tests/baselines/reference/functionWithDefaultParameterWithNoStatements4.types b/tests/baselines/reference/functionWithDefaultParameterWithNoStatements4.types
index bfc627fa60a34..3e6c4f65f4382 100644
--- a/tests/baselines/reference/functionWithDefaultParameterWithNoStatements4.types
+++ b/tests/baselines/reference/functionWithDefaultParameterWithNoStatements4.types
@@ -2,10 +2,10 @@
 function foo(a = ``) { }
 >foo : (a?: string) => void
 >a : string
->`` : string
+>`` : ""
 
 function bar(a = ``) {
 >bar : (a?: string) => void
 >a : string
->`` : string
+>`` : ""
 }
diff --git a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.errors.txt b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.errors.txt
deleted file mode 100644
index a1819ddb82f72..0000000000000
--- a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.errors.txt
+++ /dev/null
@@ -1,17 +0,0 @@
-tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts(1,5): error TS2322: Type 'string' is not assignable to type '"ABC"'.
-tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts(2,5): error TS2322: Type 'string' is not assignable to type '"DE\nF"'.
-tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts(5,5): error TS2322: Type 'string' is not assignable to type '"JK`L"'.
-
-
-==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts (3 errors) ====
-    let ABC: "ABC" = `ABC`;
-        ~~~
-!!! error TS2322: Type 'string' is not assignable to type '"ABC"'.
-    let DE_NEWLINE_F: "DE\nF" = `DE
-        ~~~~~~~~~~~~
-!!! error TS2322: Type 'string' is not assignable to type '"DE\nF"'.
-    F`;
-    let G_QUOTE_HI: 'G"HI';
-    let JK_BACKTICK_L: "JK`L" = `JK\`L`;
-        ~~~~~~~~~~~~~
-!!! error TS2322: Type 'string' is not assignable to type '"JK`L"'.
\ No newline at end of file
diff --git a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.symbols b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.symbols
new file mode 100644
index 0000000000000..3ca04bd04af11
--- /dev/null
+++ b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.symbols
@@ -0,0 +1,14 @@
+=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts ===
+let ABC: "ABC" = `ABC`;
+>ABC : Symbol(ABC, Decl(stringLiteralTypesWithTemplateStrings01.ts, 0, 3))
+
+let DE_NEWLINE_F: "DE\nF" = `DE
+>DE_NEWLINE_F : Symbol(DE_NEWLINE_F, Decl(stringLiteralTypesWithTemplateStrings01.ts, 1, 3))
+
+F`;
+let G_QUOTE_HI: 'G"HI';
+>G_QUOTE_HI : Symbol(G_QUOTE_HI, Decl(stringLiteralTypesWithTemplateStrings01.ts, 3, 3))
+
+let JK_BACKTICK_L: "JK`L" = `JK\`L`;
+>JK_BACKTICK_L : Symbol(JK_BACKTICK_L, Decl(stringLiteralTypesWithTemplateStrings01.ts, 4, 3))
+
diff --git a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.types b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.types
new file mode 100644
index 0000000000000..abe2943d07d97
--- /dev/null
+++ b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings01.types
@@ -0,0 +1,17 @@
+=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings01.ts ===
+let ABC: "ABC" = `ABC`;
+>ABC : "ABC"
+>`ABC` : "ABC"
+
+let DE_NEWLINE_F: "DE\nF" = `DE
+>DE_NEWLINE_F : "DE\nF"
+>`DEF` : "DE\nF"
+
+F`;
+let G_QUOTE_HI: 'G"HI';
+>G_QUOTE_HI : "G\"HI"
+
+let JK_BACKTICK_L: "JK`L" = `JK\`L`;
+>JK_BACKTICK_L : "JK`L"
+>`JK\`L` : "JK`L"
+
diff --git a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings02.errors.txt b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings02.errors.txt
index 8c69e595e255a..4137661f0bef9 100644
--- a/tests/baselines/reference/stringLiteralTypesWithTemplateStrings02.errors.txt
+++ b/tests/baselines/reference/stringLiteralTypesWithTemplateStrings02.errors.txt
@@ -1,11 +1,11 @@
-tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings02.ts(1,5): error TS2322: Type 'string' is not assignable to type '"AB\r\nC"'.
+tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings02.ts(1,5): error TS2322: Type '"AB\nC"' is not assignable to type '"AB\r\nC"'.
 tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings02.ts(3,5): error TS2322: Type 'string' is not assignable to type '"DE\nF"'.
 
 
 ==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesWithTemplateStrings02.ts (2 errors) ====
     let abc: "AB\r\nC" = `AB
         ~~~
-!!! error TS2322: Type 'string' is not assignable to type '"AB\r\nC"'.
+!!! error TS2322: Type '"AB\nC"' is not assignable to type '"AB\r\nC"'.
     C`;
     let de_NEWLINE_f: "DE\nF" = `DE${"\n"}F`;
         ~~~~~~~~~~~~
diff --git a/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01.types b/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01.types
index 9b394f2bceb7c..9f4ee0eb73a5f 100644
--- a/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01.types
+++ b/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01.types
@@ -8,5 +8,5 @@ function f(...x: any[]) {
 f `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n`
 >f `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : void
 >f : (...x: any[]) => void
->`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : string
+>`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : "0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n"
 
diff --git a/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01_ES6.types b/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01_ES6.types
index 775914faeeaf1..89a33c69fe061 100644
--- a/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01_ES6.types
+++ b/tests/baselines/reference/taggedTemplateStringsPlainCharactersThatArePartsOfEscapes01_ES6.types
@@ -8,5 +8,5 @@ function f(...x: any[]) {
 f `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n`
 >f `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : void
 >f : (...x: any[]) => void
->`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : string
+>`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : "0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n"
 
diff --git a/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplate.types b/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplate.types
index 52f7a517a4a59..d37c81fb88437 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplate.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplate.types
@@ -7,7 +7,7 @@ function f(...args: any[]): void {
 f `
 >f `\` : void
 >f : (...args: any[]) => void
->`\` : string
+>`\` : "\n\n"
 
 \
 
diff --git a/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplateES6.types b/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplateES6.types
index 35374be6436e0..6582d8eb4a527 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplateES6.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithMultilineTemplateES6.types
@@ -7,7 +7,7 @@ function f(...args: any[]): void {
 f `
 >f `\` : void
 >f : (...args: any[]) => void
->`\` : string
+>`\` : "\n\n"
 
 \
 
diff --git a/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAny.types b/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAny.types
index 9e894240c939d..9bd975bb472ec 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAny.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAny.types
@@ -5,7 +5,7 @@ var f: any;
 f `abc`
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 
 f `abc${1}def${2}ghi`;
 >f `abc${1}def${2}ghi` : any
@@ -21,7 +21,7 @@ f.g.h `abc`
 >f : any
 >g : any
 >h : any
->`abc` : string
+>`abc` : "abc"
 
 f.g.h `abc${1}def${2}ghi`;
 >f.g.h `abc${1}def${2}ghi` : any
@@ -38,7 +38,7 @@ f `abc`.member
 >f `abc`.member : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >member : any
 
 f `abc${1}def${2}ghi`.member;
@@ -54,7 +54,7 @@ f `abc`["member"];
 >f `abc`["member"] : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 
 f `abc${1}def${2}ghi`["member"];
@@ -72,7 +72,7 @@ f `abc`["member"].someOtherTag `abc${1}def${2}ghi`;
 >f `abc`["member"] : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 >someOtherTag : any
 >`abc${1}def${2}ghi` : string
@@ -99,7 +99,7 @@ f.thisIsNotATag(`abc`);
 >f.thisIsNotATag : any
 >f : any
 >thisIsNotATag : any
->`abc` : string
+>`abc` : "abc"
 
 f.thisIsNotATag(`abc${1}def${2}ghi`);
 >f.thisIsNotATag(`abc${1}def${2}ghi`) : any
diff --git a/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAnyES6.types b/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAnyES6.types
index 99bb10f354616..3fde2cd552d42 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAnyES6.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithTagsTypedAsAnyES6.types
@@ -5,7 +5,7 @@ var f: any;
 f `abc`
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 
 f `abc${1}def${2}ghi`;
 >f `abc${1}def${2}ghi` : any
@@ -21,7 +21,7 @@ f.g.h `abc`
 >f : any
 >g : any
 >h : any
->`abc` : string
+>`abc` : "abc"
 
 f.g.h `abc${1}def${2}ghi`;
 >f.g.h `abc${1}def${2}ghi` : any
@@ -38,7 +38,7 @@ f `abc`.member
 >f `abc`.member : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >member : any
 
 f `abc${1}def${2}ghi`.member;
@@ -54,7 +54,7 @@ f `abc`["member"];
 >f `abc`["member"] : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 
 f `abc${1}def${2}ghi`["member"];
@@ -72,7 +72,7 @@ f `abc`["member"].someOtherTag `abc${1}def${2}ghi`;
 >f `abc`["member"] : any
 >f `abc` : any
 >f : any
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 >someOtherTag : any
 >`abc${1}def${2}ghi` : string
@@ -99,7 +99,7 @@ f.thisIsNotATag(`abc`);
 >f.thisIsNotATag : any
 >f : any
 >thisIsNotATag : any
->`abc` : string
+>`abc` : "abc"
 
 f.thisIsNotATag(`abc${1}def${2}ghi`);
 >f.thisIsNotATag(`abc${1}def${2}ghi`) : any
diff --git a/tests/baselines/reference/taggedTemplateStringsWithTypedTags.types b/tests/baselines/reference/taggedTemplateStringsWithTypedTags.types
index 69b9368f765a9..02c50b835c1ab 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithTypedTags.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithTypedTags.types
@@ -36,7 +36,7 @@ var f: I;
 f `abc`
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 
 f `abc${1}def${2}ghi`;
 >f `abc${1}def${2}ghi` : I
@@ -49,7 +49,7 @@ f `abc`.member
 >f `abc`.member : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >member : I
 
 f `abc${1}def${2}ghi`.member;
@@ -65,7 +65,7 @@ f `abc`["member"];
 >f `abc`["member"] : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 
 f `abc${1}def${2}ghi`["member"];
@@ -83,7 +83,7 @@ f `abc`[0].member `abc${1}def${2}ghi`;
 >f `abc`[0] : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >0 : 0
 >member : I
 >`abc${1}def${2}ghi` : string
@@ -110,7 +110,7 @@ f.thisIsNotATag(`abc`);
 >f.thisIsNotATag : (x: string) => void
 >f : I
 >thisIsNotATag : (x: string) => void
->`abc` : string
+>`abc` : "abc"
 
 f.thisIsNotATag(`abc${1}def${2}ghi`);
 >f.thisIsNotATag(`abc${1}def${2}ghi`) : void
diff --git a/tests/baselines/reference/taggedTemplateStringsWithTypedTagsES6.types b/tests/baselines/reference/taggedTemplateStringsWithTypedTagsES6.types
index 97e2f011ca669..51fd5907f3c62 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithTypedTagsES6.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithTypedTagsES6.types
@@ -36,7 +36,7 @@ var f: I;
 f `abc`
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 
 f `abc${1}def${2}ghi`;
 >f `abc${1}def${2}ghi` : I
@@ -49,7 +49,7 @@ f `abc`.member
 >f `abc`.member : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >member : I
 
 f `abc${1}def${2}ghi`.member;
@@ -65,7 +65,7 @@ f `abc`["member"];
 >f `abc`["member"] : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >"member" : "member"
 
 f `abc${1}def${2}ghi`["member"];
@@ -83,7 +83,7 @@ f `abc`[0].member `abc${1}def${2}ghi`;
 >f `abc`[0] : I
 >f `abc` : I
 >f : I
->`abc` : string
+>`abc` : "abc"
 >0 : 0
 >member : I
 >`abc${1}def${2}ghi` : string
@@ -110,7 +110,7 @@ f.thisIsNotATag(`abc`);
 >f.thisIsNotATag : (x: string) => void
 >f : I
 >thisIsNotATag : (x: string) => void
->`abc` : string
+>`abc` : "abc"
 
 f.thisIsNotATag(`abc${1}def${2}ghi`);
 >f.thisIsNotATag(`abc${1}def${2}ghi`) : void
diff --git a/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapes.types b/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapes.types
index e8c940954459f..97fb79dc1b43f 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapes.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapes.types
@@ -7,5 +7,5 @@ function f(...args: any[]) {
 f `\t\n\v\f\r\\`;
 >f `\t\n\v\f\r\\` : void
 >f : (...args: any[]) => void
->`\t\n\v\f\r\\` : string
+>`\t\n\v\f\r\\` : "\t\n\v\f\r\\"
 
diff --git a/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapesES6.types b/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapesES6.types
index a4fa109cec72d..df78ab603b5be 100644
--- a/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapesES6.types
+++ b/tests/baselines/reference/taggedTemplateStringsWithWhitespaceEscapesES6.types
@@ -7,5 +7,5 @@ function f(...args: any[]) {
 f `\t\n\v\f\r\\`;
 >f `\t\n\v\f\r\\` : void
 >f : (...args: any[]) => void
->`\t\n\v\f\r\\` : string
+>`\t\n\v\f\r\\` : "\t\n\v\f\r\\"
 
diff --git a/tests/baselines/reference/taggedTemplateUntypedTagCall01.types b/tests/baselines/reference/taggedTemplateUntypedTagCall01.types
index 3949869550cf0..4fc03e8c080d6 100644
--- a/tests/baselines/reference/taggedTemplateUntypedTagCall01.types
+++ b/tests/baselines/reference/taggedTemplateUntypedTagCall01.types
@@ -6,5 +6,5 @@ var tag: Function;
 tag `Hello world!`;
 >tag `Hello world!` : any
 >tag : Function
->`Hello world!` : string
+>`Hello world!` : "Hello world!"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes01.types b/tests/baselines/reference/templateStringControlCharacterEscapes01.types
index 7bd2e89839c22..3fe51d1d1b15d 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes01.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes01.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes01.ts ===
 var x = `\0\x00\u0000 0 00 0000`;
 >x : string
->`\0\x00\u0000 0 00 0000` : string
+>`\0\x00\u0000 0 00 0000` : "\0\0\0 0 00 0000"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes01_ES6.types b/tests/baselines/reference/templateStringControlCharacterEscapes01_ES6.types
index 80962ecdd6a7c..2d1a609200feb 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes01_ES6.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes01_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes01_ES6.ts ===
 var x = `\0\x00\u0000 0 00 0000`;
 >x : string
->`\0\x00\u0000 0 00 0000` : string
+>`\0\x00\u0000 0 00 0000` : "\0\0\0 0 00 0000"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes02.types b/tests/baselines/reference/templateStringControlCharacterEscapes02.types
index 4656be748ec77..451d1f0dcd8ca 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes02.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes02.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes02.ts ===
 var x = `\x19\u0019 19`;
 >x : string
->`\x19\u0019 19` : string
+>`\x19\u0019 19` : "\u0019\u0019 19"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes02_ES6.types b/tests/baselines/reference/templateStringControlCharacterEscapes02_ES6.types
index d50196f59136d..b1bb248ffce77 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes02_ES6.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes02_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes02_ES6.ts ===
 var x = `\x19\u0019 19`;
 >x : string
->`\x19\u0019 19` : string
+>`\x19\u0019 19` : "\u0019\u0019 19"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes03.types b/tests/baselines/reference/templateStringControlCharacterEscapes03.types
index b509b2ccd6cd6..f65ef32da4482 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes03.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes03.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes03.ts ===
 var x = `\x1F\u001f 1F 1f`;
 >x : string
->`\x1F\u001f 1F 1f` : string
+>`\x1F\u001f 1F 1f` : "\u001F\u001F 1F 1f"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes03_ES6.types b/tests/baselines/reference/templateStringControlCharacterEscapes03_ES6.types
index 4d35fe85c41e0..d6e79953a5fe2 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes03_ES6.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes03_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes03_ES6.ts ===
 var x = `\x1F\u001f 1F 1f`;
 >x : string
->`\x1F\u001f 1F 1f` : string
+>`\x1F\u001f 1F 1f` : "\u001F\u001F 1F 1f"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes04.types b/tests/baselines/reference/templateStringControlCharacterEscapes04.types
index ca72e253d562b..c13ddcf113c14 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes04.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes04.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes04.ts ===
 var x = `\x20\u0020 20`;
 >x : string
->`\x20\u0020 20` : string
+>`\x20\u0020 20` : "   20"
 
diff --git a/tests/baselines/reference/templateStringControlCharacterEscapes04_ES6.types b/tests/baselines/reference/templateStringControlCharacterEscapes04_ES6.types
index 01b3f35ba9abe..5edabb6971e66 100644
--- a/tests/baselines/reference/templateStringControlCharacterEscapes04_ES6.types
+++ b/tests/baselines/reference/templateStringControlCharacterEscapes04_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringControlCharacterEscapes04_ES6.ts ===
 var x = `\x20\u0020 20`;
 >x : string
->`\x20\u0020 20` : string
+>`\x20\u0020 20` : "   20"
 
diff --git a/tests/baselines/reference/templateStringInEqualityChecks.types b/tests/baselines/reference/templateStringInEqualityChecks.types
index dd78aa131d4be..cddc533a23947 100644
--- a/tests/baselines/reference/templateStringInEqualityChecks.types
+++ b/tests/baselines/reference/templateStringInEqualityChecks.types
@@ -5,13 +5,13 @@ var x = `abc${0}abc` === `abc` ||
 >`abc${0}abc` === `abc` : boolean
 >`abc${0}abc` : string
 >0 : 0
->`abc` : string
+>`abc` : "abc"
 
         `abc` !== `abc${0}abc` &&
 >`abc` !== `abc${0}abc` &&        `abc${0}abc` == "abc0abc" &&        "abc0abc" !== `abc${0}abc` : boolean
 >`abc` !== `abc${0}abc` &&        `abc${0}abc` == "abc0abc" : boolean
 >`abc` !== `abc${0}abc` : boolean
->`abc` : string
+>`abc` : "abc"
 >`abc${0}abc` : string
 >0 : 0
 
diff --git a/tests/baselines/reference/templateStringInEqualityChecksES6.types b/tests/baselines/reference/templateStringInEqualityChecksES6.types
index b3ef2b8972041..58a243007256e 100644
--- a/tests/baselines/reference/templateStringInEqualityChecksES6.types
+++ b/tests/baselines/reference/templateStringInEqualityChecksES6.types
@@ -5,13 +5,13 @@ var x = `abc${0}abc` === `abc` ||
 >`abc${0}abc` === `abc` : boolean
 >`abc${0}abc` : string
 >0 : 0
->`abc` : string
+>`abc` : "abc"
 
         `abc` !== `abc${0}abc` &&
 >`abc` !== `abc${0}abc` &&        `abc${0}abc` == "abc0abc" &&        "abc0abc" !== `abc${0}abc` : boolean
 >`abc` !== `abc${0}abc` &&        `abc${0}abc` == "abc0abc" : boolean
 >`abc` !== `abc${0}abc` : boolean
->`abc` : string
+>`abc` : "abc"
 >`abc${0}abc` : string
 >0 : 0
 
diff --git a/tests/baselines/reference/templateStringInIndexExpression.types b/tests/baselines/reference/templateStringInIndexExpression.types
index b453c37f4c5f2..f0faac5f45c03 100644
--- a/tests/baselines/reference/templateStringInIndexExpression.types
+++ b/tests/baselines/reference/templateStringInIndexExpression.types
@@ -3,5 +3,5 @@
 >`abc${0}abc`[`0`] : any
 >`abc${0}abc` : string
 >0 : 0
->`0` : string
+>`0` : "0"
 
diff --git a/tests/baselines/reference/templateStringInIndexExpressionES6.types b/tests/baselines/reference/templateStringInIndexExpressionES6.types
index b7be602e89336..eabc71c9facbc 100644
--- a/tests/baselines/reference/templateStringInIndexExpressionES6.types
+++ b/tests/baselines/reference/templateStringInIndexExpressionES6.types
@@ -3,5 +3,5 @@
 >`abc${0}abc`[`0`] : any
 >`abc${0}abc` : string
 >0 : 0
->`0` : string
+>`0` : "0"
 
diff --git a/tests/baselines/reference/templateStringInSwitchAndCase.types b/tests/baselines/reference/templateStringInSwitchAndCase.types
index a0f8602167a21..d54891ff05159 100644
--- a/tests/baselines/reference/templateStringInSwitchAndCase.types
+++ b/tests/baselines/reference/templateStringInSwitchAndCase.types
@@ -4,10 +4,10 @@ switch (`abc${0}abc`) {
 >0 : 0
 
     case `abc`:
->`abc` : string
+>`abc` : "abc"
 
     case `123`:
->`123` : string
+>`123` : "123"
 
     case `abc${0}abc`:
 >`abc${0}abc` : string
diff --git a/tests/baselines/reference/templateStringInSwitchAndCaseES6.types b/tests/baselines/reference/templateStringInSwitchAndCaseES6.types
index 0cde7e5875676..8c7c4fee2c1b0 100644
--- a/tests/baselines/reference/templateStringInSwitchAndCaseES6.types
+++ b/tests/baselines/reference/templateStringInSwitchAndCaseES6.types
@@ -4,10 +4,10 @@ switch (`abc${0}abc`) {
 >0 : 0
 
     case `abc`:
->`abc` : string
+>`abc` : "abc"
 
     case `123`:
->`123` : string
+>`123` : "123"
 
     case `abc${0}abc`:
 >`abc${0}abc` : string
diff --git a/tests/baselines/reference/templateStringMultiline1.types b/tests/baselines/reference/templateStringMultiline1.types
index f66dd89a7bc19..daccdf56d8253 100644
--- a/tests/baselines/reference/templateStringMultiline1.types
+++ b/tests/baselines/reference/templateStringMultiline1.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline1.ts ===
 // newlines are <CR><LF>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringMultiline1_ES6.types b/tests/baselines/reference/templateStringMultiline1_ES6.types
index 71e82a2e5c54b..a5b08120fc4a5 100644
--- a/tests/baselines/reference/templateStringMultiline1_ES6.types
+++ b/tests/baselines/reference/templateStringMultiline1_ES6.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline1_ES6.ts ===
 // newlines are <CR><LF>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringMultiline2.types b/tests/baselines/reference/templateStringMultiline2.types
index 6184cb098b6a2..96518853b286d 100644
--- a/tests/baselines/reference/templateStringMultiline2.types
+++ b/tests/baselines/reference/templateStringMultiline2.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline2.ts ===
 // newlines are <LF>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringMultiline2_ES6.types b/tests/baselines/reference/templateStringMultiline2_ES6.types
index 3d123975330b6..be555557874d1 100644
--- a/tests/baselines/reference/templateStringMultiline2_ES6.types
+++ b/tests/baselines/reference/templateStringMultiline2_ES6.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline2_ES6.ts ===
 // newlines are <LF>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringMultiline3.types b/tests/baselines/reference/templateStringMultiline3.types
index 1d77fca9c5656..2908dd936ea8d 100644
--- a/tests/baselines/reference/templateStringMultiline3.types
+++ b/tests/baselines/reference/templateStringMultiline3.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline3.ts ===
 // newlines are <CR>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringMultiline3_ES6.types b/tests/baselines/reference/templateStringMultiline3_ES6.types
index a1a696ebcfdc8..24d523c5bc2bd 100644
--- a/tests/baselines/reference/templateStringMultiline3_ES6.types
+++ b/tests/baselines/reference/templateStringMultiline3_ES6.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringMultiline3_ES6.ts ===
 // newlines are <CR>
 `
->`\` : string
+>`\` : "\n"
 
 \
 `
diff --git a/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01.types b/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01.types
index acdf7898b7122..4a3f79a9928b3 100644
--- a/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01.types
+++ b/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringPlainCharactersThatArePartsOfEscapes01.ts ===
 `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n`
->`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : string
+>`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : "0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n"
 
diff --git a/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01_ES6.types b/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01_ES6.types
index 110676b704b65..5ff16707e363d 100644
--- a/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01_ES6.types
+++ b/tests/baselines/reference/templateStringPlainCharactersThatArePartsOfEscapes01_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringPlainCharactersThatArePartsOfEscapes01_ES6.ts ===
 `0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n`
->`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : string
+>`0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n` : "0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 2028 2029 0085 t v f b r n"
 
diff --git a/tests/baselines/reference/templateStringTermination1.types b/tests/baselines/reference/templateStringTermination1.types
index fa40007c96a22..e92463d6d809b 100644
--- a/tests/baselines/reference/templateStringTermination1.types
+++ b/tests/baselines/reference/templateStringTermination1.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination1.ts ===
 ``
->`` : string
+>`` : ""
 
diff --git a/tests/baselines/reference/templateStringTermination1_ES6.types b/tests/baselines/reference/templateStringTermination1_ES6.types
index 9aa852a576a7e..1a873bf8304b2 100644
--- a/tests/baselines/reference/templateStringTermination1_ES6.types
+++ b/tests/baselines/reference/templateStringTermination1_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination1_ES6.ts ===
 ``
->`` : string
+>`` : ""
 
diff --git a/tests/baselines/reference/templateStringTermination2.types b/tests/baselines/reference/templateStringTermination2.types
index 205cb1e620a1e..fe7ab32c9f7bb 100644
--- a/tests/baselines/reference/templateStringTermination2.types
+++ b/tests/baselines/reference/templateStringTermination2.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination2.ts ===
 `\\`
->`\\` : string
+>`\\` : "\\"
 
diff --git a/tests/baselines/reference/templateStringTermination2_ES6.types b/tests/baselines/reference/templateStringTermination2_ES6.types
index bd8859a493fa3..364a684fd57fa 100644
--- a/tests/baselines/reference/templateStringTermination2_ES6.types
+++ b/tests/baselines/reference/templateStringTermination2_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination2_ES6.ts ===
 `\\`
->`\\` : string
+>`\\` : "\\"
 
diff --git a/tests/baselines/reference/templateStringTermination3.types b/tests/baselines/reference/templateStringTermination3.types
index bdb09e00dc3a5..7a1cb752a5a99 100644
--- a/tests/baselines/reference/templateStringTermination3.types
+++ b/tests/baselines/reference/templateStringTermination3.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination3.ts ===
 `\``
->`\`` : string
+>`\`` : "`"
 
diff --git a/tests/baselines/reference/templateStringTermination3_ES6.types b/tests/baselines/reference/templateStringTermination3_ES6.types
index 86ed6373bab7d..c30f77c60b985 100644
--- a/tests/baselines/reference/templateStringTermination3_ES6.types
+++ b/tests/baselines/reference/templateStringTermination3_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination3_ES6.ts ===
 `\``
->`\`` : string
+>`\`` : "`"
 
diff --git a/tests/baselines/reference/templateStringTermination4.types b/tests/baselines/reference/templateStringTermination4.types
index 35a330148587e..a700c1e473f6e 100644
--- a/tests/baselines/reference/templateStringTermination4.types
+++ b/tests/baselines/reference/templateStringTermination4.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination4.ts ===
 `\\\\`
->`\\\\` : string
+>`\\\\` : "\\\\"
 
diff --git a/tests/baselines/reference/templateStringTermination4_ES6.types b/tests/baselines/reference/templateStringTermination4_ES6.types
index 92c07f768a4e6..6f10132ac7254 100644
--- a/tests/baselines/reference/templateStringTermination4_ES6.types
+++ b/tests/baselines/reference/templateStringTermination4_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination4_ES6.ts ===
 `\\\\`
->`\\\\` : string
+>`\\\\` : "\\\\"
 
diff --git a/tests/baselines/reference/templateStringTermination5.types b/tests/baselines/reference/templateStringTermination5.types
index 34c6cf9fb82e2..5f4a464b89e48 100644
--- a/tests/baselines/reference/templateStringTermination5.types
+++ b/tests/baselines/reference/templateStringTermination5.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination5.ts ===
 `\\\\\\`
->`\\\\\\` : string
+>`\\\\\\` : "\\\\\\"
 
diff --git a/tests/baselines/reference/templateStringTermination5_ES6.types b/tests/baselines/reference/templateStringTermination5_ES6.types
index 193608250d985..685b2c1011aa2 100644
--- a/tests/baselines/reference/templateStringTermination5_ES6.types
+++ b/tests/baselines/reference/templateStringTermination5_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringTermination5_ES6.ts ===
 `\\\\\\`
->`\\\\\\` : string
+>`\\\\\\` : "\\\\\\"
 
diff --git a/tests/baselines/reference/templateStringWhitespaceEscapes1.types b/tests/baselines/reference/templateStringWhitespaceEscapes1.types
index e554f45685b09..e99205aebfe95 100644
--- a/tests/baselines/reference/templateStringWhitespaceEscapes1.types
+++ b/tests/baselines/reference/templateStringWhitespaceEscapes1.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringWhitespaceEscapes1.ts ===
 `\t\n\v\f\r`;
->`\t\n\v\f\r` : string
+>`\t\n\v\f\r` : "\t\n\v\f\r"
 
diff --git a/tests/baselines/reference/templateStringWhitespaceEscapes1_ES6.types b/tests/baselines/reference/templateStringWhitespaceEscapes1_ES6.types
index 3888c1be0684c..219c7c926dccd 100644
--- a/tests/baselines/reference/templateStringWhitespaceEscapes1_ES6.types
+++ b/tests/baselines/reference/templateStringWhitespaceEscapes1_ES6.types
@@ -1,4 +1,4 @@
 === tests/cases/conformance/es6/templates/templateStringWhitespaceEscapes1_ES6.ts ===
 `\t\n\v\f\r`;
->`\t\n\v\f\r` : string
+>`\t\n\v\f\r` : "\t\n\v\f\r"
 
diff --git a/tests/baselines/reference/templateStringWhitespaceEscapes2.types b/tests/baselines/reference/templateStringWhitespaceEscapes2.types
index 3a43fe5e5a2a0..e78cdaa2bc59c 100644
--- a/tests/baselines/reference/templateStringWhitespaceEscapes2.types
+++ b/tests/baselines/reference/templateStringWhitespaceEscapes2.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringWhitespaceEscapes2.ts ===
 // <TAB>, <VT>, <FF>, <SP>, <NBSP>, <BOM>
 `\u0009\u000B\u000C\u0020\u00A0\uFEFF`;
->`\u0009\u000B\u000C\u0020\u00A0\uFEFF` : string
+>`\u0009\u000B\u000C\u0020\u00A0\uFEFF` : "\t\v\f  "
 
diff --git a/tests/baselines/reference/templateStringWhitespaceEscapes2_ES6.types b/tests/baselines/reference/templateStringWhitespaceEscapes2_ES6.types
index 1627945e1c4f6..a8239149ce4bd 100644
--- a/tests/baselines/reference/templateStringWhitespaceEscapes2_ES6.types
+++ b/tests/baselines/reference/templateStringWhitespaceEscapes2_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/templates/templateStringWhitespaceEscapes2_ES6.ts ===
 // <TAB>, <VT>, <FF>, <SP>, <NBSP>, <BOM>
 `\u0009\u000B\u000C\u0020\u00A0\uFEFF`;
->`\u0009\u000B\u000C\u0020\u00A0\uFEFF` : string
+>`\u0009\u000B\u000C\u0020\u00A0\uFEFF` : "\t\v\f  "
 
diff --git a/tests/baselines/reference/templateStringWithBackslashEscapes01.types b/tests/baselines/reference/templateStringWithBackslashEscapes01.types
index e65c751b9d4f9..49bffce32f9d7 100644
--- a/tests/baselines/reference/templateStringWithBackslashEscapes01.types
+++ b/tests/baselines/reference/templateStringWithBackslashEscapes01.types
@@ -1,17 +1,17 @@
 === tests/cases/conformance/es6/templates/templateStringWithBackslashEscapes01.ts ===
 var a = `hello\world`;
 >a : string
->`hello\world` : string
+>`hello\world` : "helloworld"
 
 var b = `hello\\world`;
 >b : string
->`hello\\world` : string
+>`hello\\world` : "hello\\world"
 
 var c = `hello\\\world`;
 >c : string
->`hello\\\world` : string
+>`hello\\\world` : "hello\\world"
 
 var d = `hello\\\\world`;
 >d : string
->`hello\\\\world` : string
+>`hello\\\\world` : "hello\\\\world"
 
diff --git a/tests/baselines/reference/templateStringWithBackslashEscapes01_ES6.types b/tests/baselines/reference/templateStringWithBackslashEscapes01_ES6.types
index 9d1622609beb2..7482ed4850187 100644
--- a/tests/baselines/reference/templateStringWithBackslashEscapes01_ES6.types
+++ b/tests/baselines/reference/templateStringWithBackslashEscapes01_ES6.types
@@ -1,17 +1,17 @@
 === tests/cases/conformance/es6/templates/templateStringWithBackslashEscapes01_ES6.ts ===
 var a = `hello\world`;
 >a : string
->`hello\world` : string
+>`hello\world` : "helloworld"
 
 var b = `hello\\world`;
 >b : string
->`hello\\world` : string
+>`hello\\world` : "hello\\world"
 
 var c = `hello\\\world`;
 >c : string
->`hello\\\world` : string
+>`hello\\\world` : "hello\\world"
 
 var d = `hello\\\\world`;
 >d : string
->`hello\\\\world` : string
+>`hello\\\\world` : "hello\\\\world"
 
diff --git a/tests/baselines/reference/templateStringWithEmptyLiteralPortions.types b/tests/baselines/reference/templateStringWithEmptyLiteralPortions.types
index f20ab1552e3b8..efc2723c270d2 100644
--- a/tests/baselines/reference/templateStringWithEmptyLiteralPortions.types
+++ b/tests/baselines/reference/templateStringWithEmptyLiteralPortions.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringWithEmptyLiteralPortions.ts ===
 var a = ``;
 >a : string
->`` : string
+>`` : ""
 
 var b = `${ 0 }`;
 >b : string
diff --git a/tests/baselines/reference/templateStringWithEmptyLiteralPortionsES6.types b/tests/baselines/reference/templateStringWithEmptyLiteralPortionsES6.types
index 73eeeaae04529..aad4f1eb09518 100644
--- a/tests/baselines/reference/templateStringWithEmptyLiteralPortionsES6.types
+++ b/tests/baselines/reference/templateStringWithEmptyLiteralPortionsES6.types
@@ -1,7 +1,7 @@
 === tests/cases/conformance/es6/templates/templateStringWithEmptyLiteralPortionsES6.ts ===
 var a = ``;
 >a : string
->`` : string
+>`` : ""
 
 var b = `${ 0 }`;
 >b : string
diff --git a/tests/baselines/reference/templateStringWithPropertyAccess.types b/tests/baselines/reference/templateStringWithPropertyAccess.types
index 21749c848da58..faa2fda38889e 100644
--- a/tests/baselines/reference/templateStringWithPropertyAccess.types
+++ b/tests/baselines/reference/templateStringWithPropertyAccess.types
@@ -5,5 +5,5 @@
 >`abc${0}abc` : string
 >0 : 0
 >indexOf : (searchString: string, position?: number) => number
->`abc` : string
+>`abc` : "abc"
 
diff --git a/tests/baselines/reference/templateStringWithPropertyAccessES6.types b/tests/baselines/reference/templateStringWithPropertyAccessES6.types
index 3e297e6bf07d1..36a84452808e9 100644
--- a/tests/baselines/reference/templateStringWithPropertyAccessES6.types
+++ b/tests/baselines/reference/templateStringWithPropertyAccessES6.types
@@ -5,5 +5,5 @@
 >`abc${0}abc` : string
 >0 : 0
 >indexOf : (searchString: string, position?: number) => number
->`abc` : string
+>`abc` : "abc"
 
diff --git a/tests/baselines/reference/typeGuardIntersectionTypes.types b/tests/baselines/reference/typeGuardIntersectionTypes.types
index b8ba6b318d8ef..98a8388f21eff 100644
--- a/tests/baselines/reference/typeGuardIntersectionTypes.types
+++ b/tests/baselines/reference/typeGuardIntersectionTypes.types
@@ -210,7 +210,7 @@ function identifyBeast(beast: Beast) {
                 log(`pegasus - 4 legs, wings`);
 >log(`pegasus - 4 legs, wings`) : void
 >log : (s: string) => void
->`pegasus - 4 legs, wings` : string
+>`pegasus - 4 legs, wings` : "pegasus - 4 legs, wings"
             }
             else if (beast.legs === 2) {
 >beast.legs === 2 : boolean
@@ -222,7 +222,7 @@ function identifyBeast(beast: Beast) {
                 log(`bird - 2 legs, wings`);
 >log(`bird - 2 legs, wings`) : void
 >log : (s: string) => void
->`bird - 2 legs, wings` : string
+>`bird - 2 legs, wings` : "bird - 2 legs, wings"
             }
             else {
                 log(`unknown - ${beast.legs} legs, wings`);
@@ -257,13 +257,13 @@ function identifyBeast(beast: Beast) {
             log(`quetzalcoatl - no legs, wings`)
 >log(`quetzalcoatl - no legs, wings`) : void
 >log : (s: string) => void
->`quetzalcoatl - no legs, wings` : string
+>`quetzalcoatl - no legs, wings` : "quetzalcoatl - no legs, wings"
         }
         else {
             log(`snake - no legs, no wings`)
 >log(`snake - no legs, no wings`) : void
 >log : (s: string) => void
->`snake - no legs, no wings` : string
+>`snake - no legs, no wings` : "snake - no legs, no wings"
         }
     }
 }
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES5.types
index 427287812c11e..983c1054cd81c 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates01_ES5.ts ===
 var x = `\u{0}`;
 >x : string
->`\u{0}` : string
+>`\u{0}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES6.types
index 482a6d5feab13..9b28d3c69b0d3 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates01_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates01_ES6.ts ===
 var x = `\u{0}`;
 >x : string
->`\u{0}` : string
+>`\u{0}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES5.types
index a6ff5ebdeb994..644df97b3d74e 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates02_ES5.ts ===
 var x = `\u{00}`;
 >x : string
->`\u{00}` : string
+>`\u{00}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES6.types
index badf78449a747..47ca4916deb67 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates02_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates02_ES6.ts ===
 var x = `\u{00}`;
 >x : string
->`\u{00}` : string
+>`\u{00}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES5.types
index ebd0ada182515..95444cd2a2321 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates03_ES5.ts ===
 var x = `\u{0000}`;
 >x : string
->`\u{0000}` : string
+>`\u{0000}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES6.types
index 8370399d2a4ce..05290b9abc2df 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates03_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates03_ES6.ts ===
 var x = `\u{0000}`;
 >x : string
->`\u{0000}` : string
+>`\u{0000}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES5.types
index 0cefe0224e08c..4cae06cae303e 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates04_ES5.ts ===
 var x = `\u{00000000}`;
 >x : string
->`\u{00000000}` : string
+>`\u{00000000}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES6.types
index b3e9768be6d95..cbe80b6df574d 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates04_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates04_ES6.ts ===
 var x = `\u{00000000}`;
 >x : string
->`\u{00000000}` : string
+>`\u{00000000}` : "\0"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES5.types
index f7e0d4b9f1074..cde2db429c836 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates05_ES5.ts ===
 var x = `\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}`;
 >x : string
->`\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : string
+>`\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : "Hello world"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES6.types
index 4fddcde17d11c..70ad36cd515aa 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates05_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates05_ES6.ts ===
 var x = `\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}`;
 >x : string
->`\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : string
+>`\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : "Hello world"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES5.types
index 4b3326b138417..05faa73bcdf98 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES5.types
@@ -3,5 +3,5 @@
 //  1. Assert: 0 ≤ cp ≤ 0x10FFFF.
 var x = `\u{10FFFF}`;
 >x : string
->`\u{10FFFF}` : string
+>`\u{10FFFF}` : "􏿿"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES6.types
index 3a073b8b8f046..4bd9eeb279f5b 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates06_ES6.types
@@ -3,5 +3,5 @@
 //  1. Assert: 0 ≤ cp ≤ 0x10FFFF.
 var x = `\u{10FFFF}`;
 >x : string
->`\u{10FFFF}` : string
+>`\u{10FFFF}` : "􏿿"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES5.types
index ed0e43e61819d..b3932c26b794a 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES5.types
@@ -4,5 +4,5 @@
 // (FFFF == 65535)
 var x = `\u{FFFF}`;
 >x : string
->`\u{FFFF}` : string
+>`\u{FFFF}` : "￿"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES6.types
index b2cb3e2df4378..fdb9537597c4d 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates08_ES6.types
@@ -4,5 +4,5 @@
 // (FFFF == 65535)
 var x = `\u{FFFF}`;
 >x : string
->`\u{FFFF}` : string
+>`\u{FFFF}` : "￿"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES5.types
index d0b79aa8431df..5a44659ab4410 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES5.types
@@ -4,5 +4,5 @@
 // (10000 == 65536)
 var x = `\u{10000}`;
 >x : string
->`\u{10000}` : string
+>`\u{10000}` : "𐀀"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES6.types
index 552ac1d367ef0..2d85454045a21 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates09_ES6.types
@@ -4,5 +4,5 @@
 // (10000 == 65536)
 var x = `\u{10000}`;
 >x : string
->`\u{10000}` : string
+>`\u{10000}` : "𐀀"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES5.types
index dfb2048084943..dce17fdb4e09e 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES5.types
@@ -5,5 +5,5 @@
 // this is a useful edge-case test.
 var x = `\u{D800}`;
 >x : string
->`\u{D800}` : string
+>`\u{D800}` : "�"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES6.types
index 8fccf89a6ed3c..80e564effa5d6 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates10_ES6.types
@@ -5,5 +5,5 @@
 // this is a useful edge-case test.
 var x = `\u{D800}`;
 >x : string
->`\u{D800}` : string
+>`\u{D800}` : "�"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES5.types
index cf9540d7613dd..85ded8bf56e6b 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES5.types
@@ -5,5 +5,5 @@
 // this is a useful edge-case test.
 var x = `\u{DC00}`;
 >x : string
->`\u{DC00}` : string
+>`\u{DC00}` : "�"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES6.types
index 94512a38cb704..52a8fb383cf62 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates11_ES6.types
@@ -5,5 +5,5 @@
 // this is a useful edge-case test.
 var x = `\u{DC00}`;
 >x : string
->`\u{DC00}` : string
+>`\u{DC00}` : "�"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES5.types
index 9178f005bb6cd..22f123d0ff2f5 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates13_ES5.ts ===
 var x = `\u{DDDDD}`;
 >x : string
->`\u{DDDDD}` : string
+>`\u{DDDDD}` : "󝷝"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES6.types
index bbcd9ba8ae4d9..afd5dc995ae03 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates13_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates13_ES6.ts ===
 var x = `\u{DDDDD}`;
 >x : string
->`\u{DDDDD}` : string
+>`\u{DDDDD}` : "󝷝"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES5.types
index f38e8e6f30e30..5e96bc878a684 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates15_ES5.ts ===
 var x = `\u{abcd}\u{ef12}\u{3456}\u{7890}`;
 >x : string
->`\u{abcd}\u{ef12}\u{3456}\u{7890}` : string
+>`\u{abcd}\u{ef12}\u{3456}\u{7890}` : "ꯍ㑖碐"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES6.types
index 53e7fb1e47043..467a6271b8ee5 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates15_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates15_ES6.ts ===
 var x = `\u{abcd}\u{ef12}\u{3456}\u{7890}`;
 >x : string
->`\u{abcd}\u{ef12}\u{3456}\u{7890}` : string
+>`\u{abcd}\u{ef12}\u{3456}\u{7890}` : "ꯍ㑖碐"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES5.types
index be9f781bb9bd5..d145447e8de34 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates16_ES5.ts ===
 var x = `\u{ABCD}\u{EF12}\u{3456}\u{7890}`;
 >x : string
->`\u{ABCD}\u{EF12}\u{3456}\u{7890}` : string
+>`\u{ABCD}\u{EF12}\u{3456}\u{7890}` : "ꯍ㑖碐"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES6.types
index e33e97ed07cf0..eedcf8823c489 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates16_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates16_ES6.ts ===
 var x = `\u{ABCD}\u{EF12}\u{3456}\u{7890}`;
 >x : string
->`\u{ABCD}\u{EF12}\u{3456}\u{7890}` : string
+>`\u{ABCD}\u{EF12}\u{3456}\u{7890}` : "ꯍ㑖碐"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES5.types
index 16250ea16dc68..c3e26e19b88ed 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES5.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates18_ES5.ts ===
 var x = `\u{65}\u{65}`;
 >x : string
->`\u{65}\u{65}` : string
+>`\u{65}\u{65}` : "ee"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES6.types
index fe818fdf47fd1..f7c1e53d0c7da 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates18_ES6.types
@@ -1,5 +1,5 @@
 === tests/cases/conformance/es6/unicodeExtendedEscapes/unicodeExtendedEscapesInTemplates18_ES6.ts ===
 var x = `\u{65}\u{65}`;
 >x : string
->`\u{65}\u{65}` : string
+>`\u{65}\u{65}` : "ee"
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES5.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES5.types
index 9117e3be130cc..ddb24f5de937a 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES5.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES5.types
@@ -2,5 +2,5 @@
 var x = `\u{48}\u{65}\u{6c}\u{6c}\u{6f}${`\u{20}\u{020}\u{0020}\u{000020}`}\u{77}\u{6f}\u{72}\u{6c}\u{64}`;
 >x : string
 >`\u{48}\u{65}\u{6c}\u{6c}\u{6f}${`\u{20}\u{020}\u{0020}\u{000020}`}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : string
->`\u{20}\u{020}\u{0020}\u{000020}` : string
+>`\u{20}\u{020}\u{0020}\u{000020}` : "    "
 
diff --git a/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES6.types b/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES6.types
index 6ff269e28061b..8244bc5b7fd71 100644
--- a/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES6.types
+++ b/tests/baselines/reference/unicodeExtendedEscapesInTemplates20_ES6.types
@@ -2,5 +2,5 @@
 var x = `\u{48}\u{65}\u{6c}\u{6c}\u{6f}${`\u{20}\u{020}\u{0020}\u{000020}`}\u{77}\u{6f}\u{72}\u{6c}\u{64}`;
 >x : string
 >`\u{48}\u{65}\u{6c}\u{6c}\u{6f}${`\u{20}\u{020}\u{0020}\u{000020}`}\u{77}\u{6f}\u{72}\u{6c}\u{64}` : string
->`\u{20}\u{020}\u{0020}\u{000020}` : string
+>`\u{20}\u{020}\u{0020}\u{000020}` : "    "