Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
20 changed files
with
651 additions
and
71 deletions.
There are no files selected for viewing
100 changes: 100 additions & 0 deletions
100
tests/baselines/reference/consistentUnionSubtypeReduction.js
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,100 @@ | ||
//// [consistentUnionSubtypeReduction.ts] | ||
// https://github.com/microsoft/TypeScript/issues/31155 | ||
|
||
declare const MyArray: { | ||
isArray<T>(arg: T | {}): arg is T extends readonly any[] ? readonly any[] : any[]; | ||
}; | ||
|
||
declare const a: readonly string[] | string; | ||
declare const b: string[] | string; | ||
declare const c: unknown; | ||
|
||
if (MyArray.isArray(a)) { | ||
a; // readonly string[] | ||
} | ||
else { | ||
a; // string | ||
} | ||
a; // readonly string[] | string; | ||
|
||
if (MyArray.isArray(b)) { | ||
b; // string[] | string; | ||
} | ||
else { | ||
b; // string | ||
} | ||
b; // string[] | string; | ||
|
||
if (MyArray.isArray(c)) { | ||
c; // any[] | ||
} | ||
|
||
|
||
function f<T>(x: T) { | ||
const a: readonly T[] | string = null!; | ||
const b: T[] | string = null!; | ||
const c: T = null!; | ||
|
||
if (MyArray.isArray(a)) { | ||
a; // readonly T[] | ||
} | ||
else { | ||
a; // string | ||
} | ||
a; // readonly T[] | string; | ||
|
||
if (MyArray.isArray(b)) { | ||
b; // T[] | ||
} | ||
else { | ||
b; // string | ||
} | ||
b; | ||
|
||
if (MyArray.isArray(c)) { | ||
c; // T & (T extends readonly any[] ? readonly any[] : any[]) | ||
} | ||
} | ||
|
||
|
||
//// [consistentUnionSubtypeReduction.js] | ||
// https://github.com/microsoft/TypeScript/issues/31155 | ||
if (MyArray.isArray(a)) { | ||
a; // readonly string[] | ||
} | ||
else { | ||
a; // string | ||
} | ||
a; // readonly string[] | string; | ||
if (MyArray.isArray(b)) { | ||
b; // string[] | string; | ||
} | ||
else { | ||
b; // string | ||
} | ||
b; // string[] | string; | ||
if (MyArray.isArray(c)) { | ||
c; // any[] | ||
} | ||
function f(x) { | ||
var a = null; | ||
var b = null; | ||
var c = null; | ||
if (MyArray.isArray(a)) { | ||
a; // readonly T[] | ||
} | ||
else { | ||
a; // string | ||
} | ||
a; // readonly T[] | string; | ||
if (MyArray.isArray(b)) { | ||
b; // T[] | ||
} | ||
else { | ||
b; // string | ||
} | ||
b; | ||
if (MyArray.isArray(c)) { | ||
c; // T & (T extends readonly any[] ? readonly any[] : any[]) | ||
} | ||
} |
129 changes: 129 additions & 0 deletions
129
tests/baselines/reference/consistentUnionSubtypeReduction.symbols
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,129 @@ | ||
=== tests/cases/compiler/consistentUnionSubtypeReduction.ts === | ||
// https://github.com/microsoft/TypeScript/issues/31155 | ||
|
||
declare const MyArray: { | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
|
||
isArray<T>(arg: T | {}): arg is T extends readonly any[] ? readonly any[] : any[]; | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 3, 12)) | ||
>arg : Symbol(arg, Decl(consistentUnionSubtypeReduction.ts, 3, 15)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 3, 12)) | ||
>arg : Symbol(arg, Decl(consistentUnionSubtypeReduction.ts, 3, 15)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 3, 12)) | ||
|
||
}; | ||
|
||
declare const a: readonly string[] | string; | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 6, 13)) | ||
|
||
declare const b: string[] | string; | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 7, 13)) | ||
|
||
declare const c: unknown; | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 8, 13)) | ||
|
||
if (MyArray.isArray(a)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 6, 13)) | ||
|
||
a; // readonly string[] | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 6, 13)) | ||
} | ||
else { | ||
a; // string | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 6, 13)) | ||
} | ||
a; // readonly string[] | string; | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 6, 13)) | ||
|
||
if (MyArray.isArray(b)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 7, 13)) | ||
|
||
b; // string[] | string; | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 7, 13)) | ||
} | ||
else { | ||
b; // string | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 7, 13)) | ||
} | ||
b; // string[] | string; | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 7, 13)) | ||
|
||
if (MyArray.isArray(c)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 8, 13)) | ||
|
||
c; // any[] | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 8, 13)) | ||
} | ||
|
||
|
||
function f<T>(x: T) { | ||
>f : Symbol(f, Decl(consistentUnionSubtypeReduction.ts, 28, 1)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 31, 11)) | ||
>x : Symbol(x, Decl(consistentUnionSubtypeReduction.ts, 31, 14)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 31, 11)) | ||
|
||
const a: readonly T[] | string = null!; | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 32, 9)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 31, 11)) | ||
|
||
const b: T[] | string = null!; | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 33, 9)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 31, 11)) | ||
|
||
const c: T = null!; | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 34, 9)) | ||
>T : Symbol(T, Decl(consistentUnionSubtypeReduction.ts, 31, 11)) | ||
|
||
if (MyArray.isArray(a)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 32, 9)) | ||
|
||
a; // readonly T[] | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 32, 9)) | ||
} | ||
else { | ||
a; // string | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 32, 9)) | ||
} | ||
a; // readonly T[] | string; | ||
>a : Symbol(a, Decl(consistentUnionSubtypeReduction.ts, 32, 9)) | ||
|
||
if (MyArray.isArray(b)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 33, 9)) | ||
|
||
b; // T[] | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 33, 9)) | ||
} | ||
else { | ||
b; // string | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 33, 9)) | ||
} | ||
b; | ||
>b : Symbol(b, Decl(consistentUnionSubtypeReduction.ts, 33, 9)) | ||
|
||
if (MyArray.isArray(c)) { | ||
>MyArray.isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>MyArray : Symbol(MyArray, Decl(consistentUnionSubtypeReduction.ts, 2, 13)) | ||
>isArray : Symbol(isArray, Decl(consistentUnionSubtypeReduction.ts, 2, 24)) | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 34, 9)) | ||
|
||
c; // T & (T extends readonly any[] ? readonly any[] : any[]) | ||
>c : Symbol(c, Decl(consistentUnionSubtypeReduction.ts, 34, 9)) | ||
} | ||
} | ||
|
132 changes: 132 additions & 0 deletions
132
tests/baselines/reference/consistentUnionSubtypeReduction.types
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,132 @@ | ||
=== tests/cases/compiler/consistentUnionSubtypeReduction.ts === | ||
// https://github.com/microsoft/TypeScript/issues/31155 | ||
|
||
declare const MyArray: { | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
|
||
isArray<T>(arg: T | {}): arg is T extends readonly any[] ? readonly any[] : any[]; | ||
>isArray : <T>(arg: T | {}) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>arg : {} | T | ||
|
||
}; | ||
|
||
declare const a: readonly string[] | string; | ||
>a : string | readonly string[] | ||
|
||
declare const b: string[] | string; | ||
>b : string | string[] | ||
|
||
declare const c: unknown; | ||
>c : unknown | ||
|
||
if (MyArray.isArray(a)) { | ||
>MyArray.isArray(a) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>a : string | readonly string[] | ||
|
||
a; // readonly string[] | ||
>a : readonly string[] | ||
} | ||
else { | ||
a; // string | ||
>a : string | ||
} | ||
a; // readonly string[] | string; | ||
>a : string | readonly string[] | ||
|
||
if (MyArray.isArray(b)) { | ||
>MyArray.isArray(b) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>b : string | string[] | ||
|
||
b; // string[] | string; | ||
>b : string[] | ||
} | ||
else { | ||
b; // string | ||
>b : string | ||
} | ||
b; // string[] | string; | ||
>b : string | string[] | ||
|
||
if (MyArray.isArray(c)) { | ||
>MyArray.isArray(c) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>c : unknown | ||
|
||
c; // any[] | ||
>c : any[] | ||
} | ||
|
||
|
||
function f<T>(x: T) { | ||
>f : <T>(x: T) => void | ||
>x : T | ||
|
||
const a: readonly T[] | string = null!; | ||
>a : string | readonly T[] | ||
>null! : null | ||
>null : null | ||
|
||
const b: T[] | string = null!; | ||
>b : string | T[] | ||
>null! : null | ||
>null : null | ||
|
||
const c: T = null!; | ||
>c : T | ||
>null! : null | ||
>null : null | ||
|
||
if (MyArray.isArray(a)) { | ||
>MyArray.isArray(a) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>a : string | readonly T[] | ||
|
||
a; // readonly T[] | ||
>a : readonly T[] | ||
} | ||
else { | ||
a; // string | ||
>a : string | ||
} | ||
a; // readonly T[] | string; | ||
>a : string | readonly T[] | ||
|
||
if (MyArray.isArray(b)) { | ||
>MyArray.isArray(b) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>b : string | T[] | ||
|
||
b; // T[] | ||
>b : T[] | ||
} | ||
else { | ||
b; // string | ||
>b : string | ||
} | ||
b; | ||
>b : string | T[] | ||
|
||
if (MyArray.isArray(c)) { | ||
>MyArray.isArray(c) : boolean | ||
>MyArray.isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>MyArray : { isArray<T>(arg: {} | T): arg is T extends readonly any[] ? readonly any[] : any[]; } | ||
>isArray : <T>(arg: {} | T) => arg is T extends readonly any[] ? readonly any[] : any[] | ||
>c : T | ||
|
||
c; // T & (T extends readonly any[] ? readonly any[] : any[]) | ||
>c : T & (T extends readonly any[] ? readonly any[] : any[]) | ||
} | ||
} | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.