Accepted baselines.

Author: DanielRosenwasser

tests/baselines/reference/stringLiteralCheckedInIf01.errors.txt

@@ -0,0 +1,26 @@
+tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf01.ts(6,9): error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf01.ts(9,14): error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+
+
+==== tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf01.ts (2 errors) ====
+    
+    type S = "a" | "b";
+    type T = S[] | S;
+    
+    function f(foo: T) {
+        if (foo === "a") {
+            ~~~~~~~~~~~
+!!! error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+            return foo;
+        }
+        else if (foo === "b") {
+                 ~~~~~~~~~~~
+!!! error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+            return foo;
+        }
+        else { 
+            return (foo as S[])[0];
+        }
+    
+        throw new Error("Unreachable code hit.");
+    }

tests/baselines/reference/stringLiteralCheckedInIf01.js

@@ -0,0 +1,32 @@
+//// [stringLiteralCheckedInIf01.ts]
+
+type S = "a" | "b";
+type T = S[] | S;
+
+function f(foo: T) {
+    if (foo === "a") {
+        return foo;
+    }
+    else if (foo === "b") {
+        return foo;
+    }
+    else { 
+        return (foo as S[])[0];
+    }
+
+    throw new Error("Unreachable code hit.");
+}
+
+//// [stringLiteralCheckedInIf01.js]
+function f(foo) {
+    if (foo === "a") {
+        return foo;
+    }
+    else if (foo === "b") {
+        return foo;
+    }
+    else {
+        return foo[0];
+    }
+    throw new Error("Unreachable code hit.");
+}

tests/baselines/reference/stringLiteralCheckedInIf02.errors.txt

@@ -0,0 +1,27 @@
+tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf02.ts(6,12): error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf02.ts(6,25): error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+
+
+==== tests/cases/conformance/types/stringLiteral/stringLiteralCheckedInIf02.ts (2 errors) ====
+    
+    type S = "a" | "b";
+    type T = S[] | S;
+    
+    function isS(t: T): t is S {
+        return t === "a" || t === "b";
+               ~~~~~~~~~
+!!! error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+                            ~~~~~~~~~
+!!! error TS2365: Operator '===' cannot be applied to types '("a" | "b")[] | "a" | "b"' and 'string'.
+    }
+    
+    function f(foo: T) {
+        if (isS(foo)) {
+            return foo;
+        }
+        else { 
+            return foo[0];
+        }
+    
+        throw new Error("Unreachable code hit.");
+    }

tests/baselines/reference/stringLiteralCheckedInIf02.js

@@ -0,0 +1,33 @@
+//// [stringLiteralCheckedInIf02.ts]
+
+type S = "a" | "b";
+type T = S[] | S;
+
+function isS(t: T): t is S {
+    return t === "a" || t === "b";
+}
+
+function f(foo: T) {
+    if (isS(foo)) {
+        return foo;
+    }
+    else { 
+        return foo[0];
+    }
+
+    throw new Error("Unreachable code hit.");
+}
+
+//// [stringLiteralCheckedInIf02.js]
+function isS(t) {
+    return t === "a" || t === "b";
+}
+function f(foo) {
+    if (isS(foo)) {
+        return foo;
+    }
+    else {
+        return foo[0];
+    }
+    throw new Error("Unreachable code hit.");
+}

tests/baselines/reference/stringLiteralMatchedInSwitch01.errors.txt

@@ -0,0 +1,26 @@
+tests/cases/conformance/types/stringLiteral/stringLiteralMatchedInSwitch01.ts(7,10): error TS2322: Type 'string' is not assignable to type '("a" | "b")[] | "a" | "b"'.
+  Type 'string' is not assignable to type '"b"'.
+tests/cases/conformance/types/stringLiteral/stringLiteralMatchedInSwitch01.ts(8,10): error TS2322: Type 'string' is not assignable to type '("a" | "b")[] | "a" | "b"'.
+  Type 'string' is not assignable to type '"b"'.
+
+
+==== tests/cases/conformance/types/stringLiteral/stringLiteralMatchedInSwitch01.ts (2 errors) ====
+    
+    type S = "a" | "b";
+    type T = S[] | S;
+    
+    var foo: T;
+    switch (foo) {
+        case "a":
+             ~~~
+!!! error TS2322: Type 'string' is not assignable to type '("a" | "b")[] | "a" | "b"'.
+!!! error TS2322:   Type 'string' is not assignable to type '"b"'.
+        case "b":
+             ~~~
+!!! error TS2322: Type 'string' is not assignable to type '("a" | "b")[] | "a" | "b"'.
+!!! error TS2322:   Type 'string' is not assignable to type '"b"'.
+            break;
+        default:
+            foo = (foo as S[])[0];
+            break;
+    }

tests/baselines/reference/stringLiteralMatchedInSwitch01.js

@@ -0,0 +1,25 @@
+//// [stringLiteralMatchedInSwitch01.ts]
+
+type S = "a" | "b";
+type T = S[] | S;
+
+var foo: T;
+switch (foo) {
+    case "a":
+    case "b":
+        break;
+    default:
+        foo = (foo as S[])[0];
+        break;
+}
+
+//// [stringLiteralMatchedInSwitch01.js]
+var foo;
+switch (foo) {
+    case "a":
+    case "b":
+        break;
+    default:
+        foo = foo[0];
+        break;
+}

tests/baselines/reference/stringLiteralTypeAssertion01.errors.txt

@@ -0,0 +1,55 @@
+tests/cases/conformance/types/stringLiteral/stringLiteralTypeAssertion01.ts(22,5): error TS2352: Neither type 'string' nor type '("a" | "b")[] | "a" | "b"' is assignable to the other.
+  Type 'string' is not assignable to type '"b"'.
+tests/cases/conformance/types/stringLiteral/stringLiteralTypeAssertion01.ts(23,5): error TS2352: Neither type 'string' nor type '("a" | "b")[] | "a" | "b"' is assignable to the other.
+  Type 'string' is not assignable to type '"b"'.
+tests/cases/conformance/types/stringLiteral/stringLiteralTypeAssertion01.ts(30,7): error TS2352: Neither type '("a" | "b")[] | "a" | "b"' nor type 'string' is assignable to the other.
+  Type '("a" | "b")[]' is not assignable to type 'string'.
+tests/cases/conformance/types/stringLiteral/stringLiteralTypeAssertion01.ts(31,7): error TS2352: Neither type '("a" | "b")[] | "a" | "b"' nor type 'string' is assignable to the other.
+  Type '("a" | "b")[]' is not assignable to type 'string'.
+
+
+==== tests/cases/conformance/types/stringLiteral/stringLiteralTypeAssertion01.ts (4 errors) ====
+    
+    type S = "a" | "b";
+    type T = S[] | S;
+    
+    var s: S;
+    var t: T;
+    var str: string;
+    
+    ////////////////
+    
+    s = <S>t;
+    s = t as S;
+    
+    s = <S>str;
+    s = str as S;
+    
+    ////////////////
+    
+    t = <T>s;
+    t = s as T;
+    
+    t = <T>str;
+        ~~~~~~
+!!! error TS2352: Neither type 'string' nor type '("a" | "b")[] | "a" | "b"' is assignable to the other.
+!!! error TS2352:   Type 'string' is not assignable to type '"b"'.
+    t = str as T;
+        ~~~~~~~~
+!!! error TS2352: Neither type 'string' nor type '("a" | "b")[] | "a" | "b"' is assignable to the other.
+!!! error TS2352:   Type 'string' is not assignable to type '"b"'.
+    
+    ////////////////
+    
+    str = <string>s;
+    str = s as string;
+    
+    str = <string>t;
+          ~~~~~~~~~
+!!! error TS2352: Neither type '("a" | "b")[] | "a" | "b"' nor type 'string' is assignable to the other.
+!!! error TS2352:   Type '("a" | "b")[]' is not assignable to type 'string'.
+    str = t as string;
+          ~~~~~~~~~~~
+!!! error TS2352: Neither type '("a" | "b")[] | "a" | "b"' nor type 'string' is assignable to the other.
+!!! error TS2352:   Type '("a" | "b")[]' is not assignable to type 'string'.
+    

tests/baselines/reference/stringLiteralTypeAssertion01.js

@@ -0,0 +1,53 @@
+//// [stringLiteralTypeAssertion01.ts]
+
+type S = "a" | "b";
+type T = S[] | S;
+
+var s: S;
+var t: T;
+var str: string;
+
+////////////////
+
+s = <S>t;
+s = t as S;
+
+s = <S>str;
+s = str as S;
+
+////////////////
+
+t = <T>s;
+t = s as T;
+
+t = <T>str;
+t = str as T;
+
+////////////////
+
+str = <string>s;
+str = s as string;
+
+str = <string>t;
+str = t as string;
+
+
+//// [stringLiteralTypeAssertion01.js]
+var s;
+var t;
+var str;
+////////////////
+s = t;
+s = t;
+s = str;
+s = str;
+////////////////
+t = s;
+t = s;
+t = str;
+t = str;
+////////////////
+str = s;
+str = s;
+str = t;
+str = t;