mirror of
https://github.com/microsoft/TypeScript.git
synced 2026-02-15 03:23:08 -06:00
Update and improve spread intersection tests
This commit is contained in:
Nathan Shively-Sanders
parent
ce61b34159
commit
422f73b1a9
@ -8,10 +8,14 @@ function iteratedUnionIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
// concrete types work
|
||||
interface A1 { a: number }
|
||||
interface A2 { a: string }
|
||||
interface B1 { b: number }
|
||||
interface B2 { b: string }
|
||||
let a12: A1 & A2;
|
||||
let result = { ...a12 };
|
||||
let b12: B1 & B2;
|
||||
let result = { ...a12, ...b12 };
|
||||
let sn: number & string = result.a;
|
||||
let assignable: { ...(A1 & A2) } = result;
|
||||
sn = result.b;
|
||||
let assignable: { ...(A1 & A2), ...(B1 & B2) } = result;
|
||||
|
||||
function tripleIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
let tuv: T & U & V;
|
||||
@ -49,8 +53,10 @@ function iteratedUnionIntersection(t, u, v) {
|
||||
var assignable = result;
|
||||
}
|
||||
var a12;
|
||||
var result = __assign({}, a12);
|
||||
var b12;
|
||||
var result = __assign({}, a12, b12);
|
||||
var sn = result.a;
|
||||
sn = result.b;
|
||||
var assignable = result;
|
||||
function tripleIntersection(t, u, v) {
|
||||
var tuv;
|
||||
|
||||
@ -43,125 +43,146 @@ interface A2 { a: string }
|
||||
>A2 : Symbol(A2, Decl(objectSpreadIntersection.ts, 7, 26))
|
||||
>a : Symbol(A2.a, Decl(objectSpreadIntersection.ts, 8, 14))
|
||||
|
||||
interface B1 { b: number }
|
||||
>B1 : Symbol(B1, Decl(objectSpreadIntersection.ts, 8, 26))
|
||||
>b : Symbol(B1.b, Decl(objectSpreadIntersection.ts, 9, 14))
|
||||
|
||||
interface B2 { b: string }
|
||||
>B2 : Symbol(B2, Decl(objectSpreadIntersection.ts, 9, 26))
|
||||
>b : Symbol(B2.b, Decl(objectSpreadIntersection.ts, 10, 14))
|
||||
|
||||
let a12: A1 & A2;
|
||||
>a12 : Symbol(a12, Decl(objectSpreadIntersection.ts, 9, 3))
|
||||
>a12 : Symbol(a12, Decl(objectSpreadIntersection.ts, 11, 3))
|
||||
>A1 : Symbol(A1, Decl(objectSpreadIntersection.ts, 5, 1))
|
||||
>A2 : Symbol(A2, Decl(objectSpreadIntersection.ts, 7, 26))
|
||||
|
||||
let result = { ...a12 };
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 10, 3))
|
||||
let b12: B1 & B2;
|
||||
>b12 : Symbol(b12, Decl(objectSpreadIntersection.ts, 12, 3))
|
||||
>B1 : Symbol(B1, Decl(objectSpreadIntersection.ts, 8, 26))
|
||||
>B2 : Symbol(B2, Decl(objectSpreadIntersection.ts, 9, 26))
|
||||
|
||||
let result = { ...a12, ...b12 };
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 13, 3))
|
||||
|
||||
let sn: number & string = result.a;
|
||||
>sn : Symbol(sn, Decl(objectSpreadIntersection.ts, 11, 3))
|
||||
>sn : Symbol(sn, Decl(objectSpreadIntersection.ts, 14, 3))
|
||||
>result.a : Symbol(a, Decl(objectSpreadIntersection.ts, 7, 14), Decl(objectSpreadIntersection.ts, 8, 14))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 10, 3))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 13, 3))
|
||||
>a : Symbol(a, Decl(objectSpreadIntersection.ts, 7, 14), Decl(objectSpreadIntersection.ts, 8, 14))
|
||||
|
||||
let assignable: { ...(A1 & A2) } = result;
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 12, 3))
|
||||
sn = result.b;
|
||||
>sn : Symbol(sn, Decl(objectSpreadIntersection.ts, 14, 3))
|
||||
>result.b : Symbol(b, Decl(objectSpreadIntersection.ts, 9, 14), Decl(objectSpreadIntersection.ts, 10, 14))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 13, 3))
|
||||
>b : Symbol(b, Decl(objectSpreadIntersection.ts, 9, 14), Decl(objectSpreadIntersection.ts, 10, 14))
|
||||
|
||||
let assignable: { ...(A1 & A2), ...(B1 & B2) } = result;
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 16, 3))
|
||||
>A1 : Symbol(A1, Decl(objectSpreadIntersection.ts, 5, 1))
|
||||
>A2 : Symbol(A2, Decl(objectSpreadIntersection.ts, 7, 26))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 10, 3))
|
||||
>B1 : Symbol(B1, Decl(objectSpreadIntersection.ts, 8, 26))
|
||||
>B2 : Symbol(B2, Decl(objectSpreadIntersection.ts, 9, 26))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 13, 3))
|
||||
|
||||
function tripleIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
>tripleIntersection : Symbol(tripleIntersection, Decl(objectSpreadIntersection.ts, 12, 42))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 14, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 14, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 14, 33))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 14, 37))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 14, 28))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 14, 42))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 14, 30))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 14, 48))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 14, 33))
|
||||
>tripleIntersection : Symbol(tripleIntersection, Decl(objectSpreadIntersection.ts, 16, 56))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 18, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 18, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 18, 33))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 18, 37))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 18, 28))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 18, 42))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 18, 30))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 18, 48))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 18, 33))
|
||||
|
||||
let tuv: T & U & V;
|
||||
>tuv : Symbol(tuv, Decl(objectSpreadIntersection.ts, 15, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 14, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 14, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 14, 33))
|
||||
>tuv : Symbol(tuv, Decl(objectSpreadIntersection.ts, 19, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 18, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 18, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 18, 33))
|
||||
|
||||
let result = { ...tuv, id: 'bar' };
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 16, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 16, 26))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 20, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 20, 26))
|
||||
|
||||
let assignable: { ...(T & U & V), id: string } = result;
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 17, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 14, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 14, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 14, 33))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 17, 37))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 16, 7))
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 21, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 18, 28))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 18, 30))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 18, 33))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 21, 37))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 20, 7))
|
||||
}
|
||||
function iteratedDoubleIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
>iteratedDoubleIntersection : Symbol(iteratedDoubleIntersection, Decl(objectSpreadIntersection.ts, 18, 1))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 19, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 19, 41))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 19, 45))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 19, 36))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 19, 50))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 19, 56))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 19, 41))
|
||||
>iteratedDoubleIntersection : Symbol(iteratedDoubleIntersection, Decl(objectSpreadIntersection.ts, 22, 1))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 23, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 23, 41))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 23, 45))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 23, 36))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 23, 50))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 23, 56))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 23, 41))
|
||||
|
||||
let tu: T & U;
|
||||
>tu : Symbol(tu, Decl(objectSpreadIntersection.ts, 20, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 19, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>tu : Symbol(tu, Decl(objectSpreadIntersection.ts, 24, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 23, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
|
||||
let uv: U & V;
|
||||
>uv : Symbol(uv, Decl(objectSpreadIntersection.ts, 21, 7))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 19, 41))
|
||||
>uv : Symbol(uv, Decl(objectSpreadIntersection.ts, 25, 7))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 23, 41))
|
||||
|
||||
let result = { ...tu, ...uv, id: 'baz' };
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 22, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 22, 32))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 26, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 26, 32))
|
||||
|
||||
let assignable: { ...(T & U), ...(U & V), id: string } = result;
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 23, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 19, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 19, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 19, 41))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 23, 45))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 22, 7))
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 27, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 23, 36))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 23, 38))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 23, 41))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 27, 45))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 26, 7))
|
||||
}
|
||||
function iteratedIntersectionUnion<T, U, V>(t: T, u: U, v: V): void {
|
||||
>iteratedIntersectionUnion : Symbol(iteratedIntersectionUnion, Decl(objectSpreadIntersection.ts, 24, 1))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 25, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 25, 40))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 25, 44))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 25, 35))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 25, 49))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 25, 55))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 25, 40))
|
||||
>iteratedIntersectionUnion : Symbol(iteratedIntersectionUnion, Decl(objectSpreadIntersection.ts, 28, 1))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 29, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 29, 40))
|
||||
>t : Symbol(t, Decl(objectSpreadIntersection.ts, 29, 44))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 29, 35))
|
||||
>u : Symbol(u, Decl(objectSpreadIntersection.ts, 29, 49))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
>v : Symbol(v, Decl(objectSpreadIntersection.ts, 29, 55))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 29, 40))
|
||||
|
||||
let tu: T & U;
|
||||
>tu : Symbol(tu, Decl(objectSpreadIntersection.ts, 26, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 25, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>tu : Symbol(tu, Decl(objectSpreadIntersection.ts, 30, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 29, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
|
||||
let uv: U | V;
|
||||
>uv : Symbol(uv, Decl(objectSpreadIntersection.ts, 27, 7))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 25, 40))
|
||||
>uv : Symbol(uv, Decl(objectSpreadIntersection.ts, 31, 7))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 29, 40))
|
||||
|
||||
let result = { ...tu, ...uv, id: 'qux' };
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 28, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 28, 32))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 32, 7))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 32, 32))
|
||||
|
||||
let assignable: { ...(T & U), ...(U | V), id: string } = result;
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 29, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 25, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 25, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 25, 40))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 29, 45))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 28, 7))
|
||||
>assignable : Symbol(assignable, Decl(objectSpreadIntersection.ts, 33, 7))
|
||||
>T : Symbol(T, Decl(objectSpreadIntersection.ts, 29, 35))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
>U : Symbol(U, Decl(objectSpreadIntersection.ts, 29, 37))
|
||||
>V : Symbol(V, Decl(objectSpreadIntersection.ts, 29, 40))
|
||||
>id : Symbol(id, Decl(objectSpreadIntersection.ts, 33, 45))
|
||||
>result : Symbol(result, Decl(objectSpreadIntersection.ts, 32, 7))
|
||||
}
|
||||
|
||||
|
||||
|
||||
@ -47,27 +47,50 @@ interface A2 { a: string }
|
||||
>A2 : A2
|
||||
>a : string
|
||||
|
||||
interface B1 { b: number }
|
||||
>B1 : B1
|
||||
>b : number
|
||||
|
||||
interface B2 { b: string }
|
||||
>B2 : B2
|
||||
>b : string
|
||||
|
||||
let a12: A1 & A2;
|
||||
>a12 : A1 & A2
|
||||
>A1 : A1
|
||||
>A2 : A2
|
||||
|
||||
let result = { ...a12 };
|
||||
>result : { ...A1 & A2 }
|
||||
>{ ...a12 } : { ...A1 & A2 }
|
||||
let b12: B1 & B2;
|
||||
>b12 : B1 & B2
|
||||
>B1 : B1
|
||||
>B2 : B2
|
||||
|
||||
let result = { ...a12, ...b12 };
|
||||
>result : { b: number & string; a: number & string; }
|
||||
>{ ...a12, ...b12 } : { b: number & string; a: number & string; }
|
||||
>a12 : any
|
||||
>b12 : any
|
||||
|
||||
let sn: number & string = result.a;
|
||||
>sn : number & string
|
||||
>result.a : number & string
|
||||
>result : { ...A1 & A2 }
|
||||
>result : { b: number & string; a: number & string; }
|
||||
>a : number & string
|
||||
|
||||
let assignable: { ...(A1 & A2) } = result;
|
||||
>assignable : { ...A1 & A2 }
|
||||
sn = result.b;
|
||||
>sn = result.b : number & string
|
||||
>sn : number & string
|
||||
>result.b : number & string
|
||||
>result : { b: number & string; a: number & string; }
|
||||
>b : number & string
|
||||
|
||||
let assignable: { ...(A1 & A2), ...(B1 & B2) } = result;
|
||||
>assignable : { b: number & string; a: number & string; }
|
||||
>A1 : A1
|
||||
>A2 : A2
|
||||
>result : { ...A1 & A2 }
|
||||
>B1 : B1
|
||||
>B2 : B2
|
||||
>result : { b: number & string; a: number & string; }
|
||||
|
||||
function tripleIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
>tripleIntersection : <T, U, V>(t: T, u: U, v: V) => void
|
||||
|
||||
@ -7,10 +7,14 @@ function iteratedUnionIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
// concrete types work
|
||||
interface A1 { a: number }
|
||||
interface A2 { a: string }
|
||||
interface B1 { b: number }
|
||||
interface B2 { b: string }
|
||||
let a12: A1 & A2;
|
||||
let result = { ...a12 };
|
||||
let b12: B1 & B2;
|
||||
let result = { ...a12, ...b12 };
|
||||
let sn: number & string = result.a;
|
||||
let assignable: { ...(A1 & A2) } = result;
|
||||
sn = result.b;
|
||||
let assignable: { ...(A1 & A2), ...(B1 & B2) } = result;
|
||||
|
||||
function tripleIntersection<T, U, V>(t: T, u: U, v: V): void {
|
||||
let tuv: T & U & V;
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user