Add tests
This commit is contained in:
Anders Hejlsberg
parent
57a9a6344a
commit
8bcb22c56d
125
tests/baselines/reference/literalTypes3.js
Normal file
125
tests/baselines/reference/literalTypes3.js
Normal file
|
|
@ -0,0 +1,125 @@
|
|||
//// [literalTypes3.ts]
|
||||
|
||||
function f1(s: string) {
|
||||
if (s === "foo") {
|
||||
s; // "foo"
|
||||
}
|
||||
if (s === "foo" || s === "bar") {
|
||||
s; // "foo" | "bar"
|
||||
}
|
||||
}
|
||||
|
||||
function f2(s: string) {
|
||||
switch (s) {
|
||||
case "foo":
|
||||
case "bar":
|
||||
s; // "foo" | "bar"
|
||||
case "baz":
|
||||
s; // "foo" | "bar" | "baz"
|
||||
break;
|
||||
default:
|
||||
s; // string
|
||||
}
|
||||
}
|
||||
|
||||
function f3(s: string) {
|
||||
return s === "foo" || s === "bar" ? s : undefined; // "foo" | "bar" | undefined
|
||||
}
|
||||
|
||||
function f4(x: number) {
|
||||
if (x === 1 || x === 2) {
|
||||
return x; // 1 | 2
|
||||
}
|
||||
throw new Error();
|
||||
}
|
||||
|
||||
function f5(x: number, y: 1 | 2) {
|
||||
if (x === 0 || x === y) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f6(x: number, y: 1 | 2) {
|
||||
if (y === x || 0 === x) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f7(x: number | "foo" | "bar", y: 1 | 2 | string) {
|
||||
if (x === y) {
|
||||
x; // "foo" | "bar" | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f8(x: number | "foo" | "bar") {
|
||||
switch (x) {
|
||||
case 1:
|
||||
case 2:
|
||||
x; // 1 | 2
|
||||
break;
|
||||
case "foo":
|
||||
x; // "foo"
|
||||
break;
|
||||
default:
|
||||
x; // number | "bar"
|
||||
}
|
||||
}
|
||||
|
||||
//// [literalTypes3.js]
|
||||
function f1(s) {
|
||||
if (s === "foo") {
|
||||
s; // "foo"
|
||||
}
|
||||
if (s === "foo" || s === "bar") {
|
||||
s; // "foo" | "bar"
|
||||
}
|
||||
}
|
||||
function f2(s) {
|
||||
switch (s) {
|
||||
case "foo":
|
||||
case "bar":
|
||||
s; // "foo" | "bar"
|
||||
case "baz":
|
||||
s; // "foo" | "bar" | "baz"
|
||||
break;
|
||||
default:
|
||||
s; // string
|
||||
}
|
||||
}
|
||||
function f3(s) {
|
||||
return s === "foo" || s === "bar" ? s : undefined; // "foo" | "bar" | undefined
|
||||
}
|
||||
function f4(x) {
|
||||
if (x === 1 || x === 2) {
|
||||
return x; // 1 | 2
|
||||
}
|
||||
throw new Error();
|
||||
}
|
||||
function f5(x, y) {
|
||||
if (x === 0 || x === y) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
function f6(x, y) {
|
||||
if (y === x || 0 === x) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
function f7(x, y) {
|
||||
if (x === y) {
|
||||
x; // "foo" | "bar" | 1 | 2
|
||||
}
|
||||
}
|
||||
function f8(x) {
|
||||
switch (x) {
|
||||
case 1:
|
||||
case 2:
|
||||
x; // 1 | 2
|
||||
break;
|
||||
case "foo":
|
||||
x; // "foo"
|
||||
break;
|
||||
default:
|
||||
x; // number | "bar"
|
||||
}
|
||||
}
|
||||
137
tests/baselines/reference/literalTypes3.symbols
Normal file
137
tests/baselines/reference/literalTypes3.symbols
Normal file
|
|
@ -0,0 +1,137 @@
|
|||
=== tests/cases/conformance/types/literal/literalTypes3.ts ===
|
||||
|
||||
function f1(s: string) {
|
||||
>f1 : Symbol(f1, Decl(literalTypes3.ts, 0, 0))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
|
||||
if (s === "foo") {
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
|
||||
s; // "foo"
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
}
|
||||
if (s === "foo" || s === "bar") {
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
|
||||
s; // "foo" | "bar"
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 1, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f2(s: string) {
|
||||
>f2 : Symbol(f2, Decl(literalTypes3.ts, 8, 1))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 10, 12))
|
||||
|
||||
switch (s) {
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 10, 12))
|
||||
|
||||
case "foo":
|
||||
case "bar":
|
||||
s; // "foo" | "bar"
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 10, 12))
|
||||
|
||||
case "baz":
|
||||
s; // "foo" | "bar" | "baz"
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 10, 12))
|
||||
|
||||
break;
|
||||
default:
|
||||
s; // string
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 10, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f3(s: string) {
|
||||
>f3 : Symbol(f3, Decl(literalTypes3.ts, 21, 1))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 23, 12))
|
||||
|
||||
return s === "foo" || s === "bar" ? s : undefined; // "foo" | "bar" | undefined
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 23, 12))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 23, 12))
|
||||
>s : Symbol(s, Decl(literalTypes3.ts, 23, 12))
|
||||
>undefined : Symbol(undefined)
|
||||
}
|
||||
|
||||
function f4(x: number) {
|
||||
>f4 : Symbol(f4, Decl(literalTypes3.ts, 25, 1))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 27, 12))
|
||||
|
||||
if (x === 1 || x === 2) {
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 27, 12))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 27, 12))
|
||||
|
||||
return x; // 1 | 2
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 27, 12))
|
||||
}
|
||||
throw new Error();
|
||||
>Error : Symbol(Error, Decl(lib.d.ts, --, --), Decl(lib.d.ts, --, --))
|
||||
}
|
||||
|
||||
function f5(x: number, y: 1 | 2) {
|
||||
>f5 : Symbol(f5, Decl(literalTypes3.ts, 32, 1))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 34, 12))
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 34, 22))
|
||||
|
||||
if (x === 0 || x === y) {
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 34, 12))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 34, 12))
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 34, 22))
|
||||
|
||||
x; // 0 | 1 | 2
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 34, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f6(x: number, y: 1 | 2) {
|
||||
>f6 : Symbol(f6, Decl(literalTypes3.ts, 38, 1))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 40, 12))
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 40, 22))
|
||||
|
||||
if (y === x || 0 === x) {
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 40, 22))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 40, 12))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 40, 12))
|
||||
|
||||
x; // 0 | 1 | 2
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 40, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f7(x: number | "foo" | "bar", y: 1 | 2 | string) {
|
||||
>f7 : Symbol(f7, Decl(literalTypes3.ts, 44, 1))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 46, 12))
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 46, 38))
|
||||
|
||||
if (x === y) {
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 46, 12))
|
||||
>y : Symbol(y, Decl(literalTypes3.ts, 46, 38))
|
||||
|
||||
x; // "foo" | "bar" | 1 | 2
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 46, 12))
|
||||
}
|
||||
}
|
||||
|
||||
function f8(x: number | "foo" | "bar") {
|
||||
>f8 : Symbol(f8, Decl(literalTypes3.ts, 50, 1))
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 52, 12))
|
||||
|
||||
switch (x) {
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 52, 12))
|
||||
|
||||
case 1:
|
||||
case 2:
|
||||
x; // 1 | 2
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 52, 12))
|
||||
|
||||
break;
|
||||
case "foo":
|
||||
x; // "foo"
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 52, 12))
|
||||
|
||||
break;
|
||||
default:
|
||||
x; // number | "bar"
|
||||
>x : Symbol(x, Decl(literalTypes3.ts, 52, 12))
|
||||
}
|
||||
}
|
||||
177
tests/baselines/reference/literalTypes3.types
Normal file
177
tests/baselines/reference/literalTypes3.types
Normal file
|
|
@ -0,0 +1,177 @@
|
|||
=== tests/cases/conformance/types/literal/literalTypes3.ts ===
|
||||
|
||||
function f1(s: string) {
|
||||
>f1 : (s: string) => void
|
||||
>s : string
|
||||
|
||||
if (s === "foo") {
|
||||
>s === "foo" : boolean
|
||||
>s : string
|
||||
>"foo" : "foo"
|
||||
|
||||
s; // "foo"
|
||||
>s : "foo"
|
||||
}
|
||||
if (s === "foo" || s === "bar") {
|
||||
>s === "foo" || s === "bar" : boolean
|
||||
>s === "foo" : boolean
|
||||
>s : string
|
||||
>"foo" : "foo"
|
||||
>s === "bar" : boolean
|
||||
>s : string
|
||||
>"bar" : "bar"
|
||||
|
||||
s; // "foo" | "bar"
|
||||
>s : "foo" | "bar"
|
||||
}
|
||||
}
|
||||
|
||||
function f2(s: string) {
|
||||
>f2 : (s: string) => void
|
||||
>s : string
|
||||
|
||||
switch (s) {
|
||||
>s : string
|
||||
|
||||
case "foo":
|
||||
>"foo" : "foo"
|
||||
|
||||
case "bar":
|
||||
>"bar" : "bar"
|
||||
|
||||
s; // "foo" | "bar"
|
||||
>s : "foo" | "bar"
|
||||
|
||||
case "baz":
|
||||
>"baz" : "baz"
|
||||
|
||||
s; // "foo" | "bar" | "baz"
|
||||
>s : "foo" | "bar" | "baz"
|
||||
|
||||
break;
|
||||
default:
|
||||
s; // string
|
||||
>s : string
|
||||
}
|
||||
}
|
||||
|
||||
function f3(s: string) {
|
||||
>f3 : (s: string) => "foo" | "bar" | undefined
|
||||
>s : string
|
||||
|
||||
return s === "foo" || s === "bar" ? s : undefined; // "foo" | "bar" | undefined
|
||||
>s === "foo" || s === "bar" ? s : undefined : "foo" | "bar" | undefined
|
||||
>s === "foo" || s === "bar" : boolean
|
||||
>s === "foo" : boolean
|
||||
>s : string
|
||||
>"foo" : "foo"
|
||||
>s === "bar" : boolean
|
||||
>s : string
|
||||
>"bar" : "bar"
|
||||
>s : "foo" | "bar"
|
||||
>undefined : undefined
|
||||
}
|
||||
|
||||
function f4(x: number) {
|
||||
>f4 : (x: number) => 1 | 2
|
||||
>x : number
|
||||
|
||||
if (x === 1 || x === 2) {
|
||||
>x === 1 || x === 2 : boolean
|
||||
>x === 1 : boolean
|
||||
>x : number
|
||||
>1 : 1
|
||||
>x === 2 : boolean
|
||||
>x : number
|
||||
>2 : 2
|
||||
|
||||
return x; // 1 | 2
|
||||
>x : 1 | 2
|
||||
}
|
||||
throw new Error();
|
||||
>new Error() : Error
|
||||
>Error : ErrorConstructor
|
||||
}
|
||||
|
||||
function f5(x: number, y: 1 | 2) {
|
||||
>f5 : (x: number, y: 1 | 2) => void
|
||||
>x : number
|
||||
>y : 1 | 2
|
||||
|
||||
if (x === 0 || x === y) {
|
||||
>x === 0 || x === y : boolean
|
||||
>x === 0 : boolean
|
||||
>x : number
|
||||
>0 : 0
|
||||
>x === y : boolean
|
||||
>x : number
|
||||
>y : 1 | 2
|
||||
|
||||
x; // 0 | 1 | 2
|
||||
>x : 1 | 2 | 0
|
||||
}
|
||||
}
|
||||
|
||||
function f6(x: number, y: 1 | 2) {
|
||||
>f6 : (x: number, y: 1 | 2) => void
|
||||
>x : number
|
||||
>y : 1 | 2
|
||||
|
||||
if (y === x || 0 === x) {
|
||||
>y === x || 0 === x : boolean
|
||||
>y === x : boolean
|
||||
>y : 1 | 2
|
||||
>x : number
|
||||
>0 === x : boolean
|
||||
>0 : 0
|
||||
>x : number
|
||||
|
||||
x; // 0 | 1 | 2
|
||||
>x : 1 | 2 | 0
|
||||
}
|
||||
}
|
||||
|
||||
function f7(x: number | "foo" | "bar", y: 1 | 2 | string) {
|
||||
>f7 : (x: number | "foo" | "bar", y: string | 1 | 2) => void
|
||||
>x : number | "foo" | "bar"
|
||||
>y : string | 1 | 2
|
||||
|
||||
if (x === y) {
|
||||
>x === y : boolean
|
||||
>x : number | "foo" | "bar"
|
||||
>y : string | 1 | 2
|
||||
|
||||
x; // "foo" | "bar" | 1 | 2
|
||||
>x : "foo" | "bar" | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f8(x: number | "foo" | "bar") {
|
||||
>f8 : (x: number | "foo" | "bar") => void
|
||||
>x : number | "foo" | "bar"
|
||||
|
||||
switch (x) {
|
||||
>x : number | "foo" | "bar"
|
||||
|
||||
case 1:
|
||||
>1 : 1
|
||||
|
||||
case 2:
|
||||
>2 : 2
|
||||
|
||||
x; // 1 | 2
|
||||
>x : 1 | 2
|
||||
|
||||
break;
|
||||
case "foo":
|
||||
>"foo" : "foo"
|
||||
|
||||
x; // "foo"
|
||||
>x : "foo"
|
||||
|
||||
break;
|
||||
default:
|
||||
x; // number | "bar"
|
||||
>x : number | "bar"
|
||||
}
|
||||
}
|
||||
66
tests/cases/conformance/types/literal/literalTypes3.ts
Normal file
66
tests/cases/conformance/types/literal/literalTypes3.ts
Normal file
|
|
@ -0,0 +1,66 @@
|
|||
// @strictNullChecks: true
|
||||
|
||||
function f1(s: string) {
|
||||
if (s === "foo") {
|
||||
s; // "foo"
|
||||
}
|
||||
if (s === "foo" || s === "bar") {
|
||||
s; // "foo" | "bar"
|
||||
}
|
||||
}
|
||||
|
||||
function f2(s: string) {
|
||||
switch (s) {
|
||||
case "foo":
|
||||
case "bar":
|
||||
s; // "foo" | "bar"
|
||||
case "baz":
|
||||
s; // "foo" | "bar" | "baz"
|
||||
break;
|
||||
default:
|
||||
s; // string
|
||||
}
|
||||
}
|
||||
|
||||
function f3(s: string) {
|
||||
return s === "foo" || s === "bar" ? s : undefined; // "foo" | "bar" | undefined
|
||||
}
|
||||
|
||||
function f4(x: number) {
|
||||
if (x === 1 || x === 2) {
|
||||
return x; // 1 | 2
|
||||
}
|
||||
throw new Error();
|
||||
}
|
||||
|
||||
function f5(x: number, y: 1 | 2) {
|
||||
if (x === 0 || x === y) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f6(x: number, y: 1 | 2) {
|
||||
if (y === x || 0 === x) {
|
||||
x; // 0 | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f7(x: number | "foo" | "bar", y: 1 | 2 | string) {
|
||||
if (x === y) {
|
||||
x; // "foo" | "bar" | 1 | 2
|
||||
}
|
||||
}
|
||||
|
||||
function f8(x: number | "foo" | "bar") {
|
||||
switch (x) {
|
||||
case 1:
|
||||
case 2:
|
||||
x; // 1 | 2
|
||||
break;
|
||||
case "foo":
|
||||
x; // "foo"
|
||||
break;
|
||||
default:
|
||||
x; // number | "bar"
|
||||
}
|
||||
}
|
||||
Loading…
Reference in a new issue