mirror of
https://github.com/microsoft/TypeScript.git
synced 2026-02-05 08:11:30 -06:00
Accept new baselines
This commit is contained in:
Anders Hejlsberg
parent
32a9ec6c30
commit
efb6e0b842
144
tests/baselines/reference/mappedTypesArraysTuples.js
Normal file
144
tests/baselines/reference/mappedTypesArraysTuples.js
Normal file
@ -0,0 +1,144 @@
|
||||
//// [mappedTypesArraysTuples.ts]
|
||||
type Box<T> = { value: T };
|
||||
type Boxified<T> = { [P in keyof T]: Box<T[P]> };
|
||||
|
||||
type T00 = Boxified<[number, string?, ...boolean[]]>;
|
||||
type T01 = Partial<[number, string?, ...boolean[]]>;
|
||||
type T02 = Required<[number, string?, ...boolean[]]>;
|
||||
|
||||
type T10 = Boxified<string[]>;
|
||||
type T11 = Partial<string[]>;
|
||||
type T12 = Required<string[]>;
|
||||
type T13 = Boxified<ReadonlyArray<string>>;
|
||||
type T14 = Partial<ReadonlyArray<string>>;
|
||||
type T15 = Required<ReadonlyArray<string>>;
|
||||
|
||||
type T20 = Boxified<(string | undefined)[]>;
|
||||
type T21 = Partial<(string | undefined)[]>;
|
||||
type T22 = Required<(string | undefined)[]>;
|
||||
type T23 = Boxified<ReadonlyArray<string | undefined>>;
|
||||
type T24 = Partial<ReadonlyArray<string | undefined>>;
|
||||
type T25 = Required<ReadonlyArray<string | undefined>>;
|
||||
|
||||
type T30 = Boxified<Partial<string[]>>;
|
||||
type T31 = Partial<Boxified<string[]>>;
|
||||
|
||||
type A = { a: string };
|
||||
type B = { b: string };
|
||||
|
||||
type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
|
||||
|
||||
declare function unboxify<T>(x: Boxified<T>): T;
|
||||
|
||||
declare let x10: [Box<number>, Box<string>, ...Box<boolean>[]];
|
||||
let y10 = unboxify(x10);
|
||||
|
||||
declare let x11: Box<number>[];
|
||||
let y11 = unboxify(x11);
|
||||
|
||||
declare let x12: { a: Box<number>, b: Box<string[]> };
|
||||
let y12 = unboxify(x12);
|
||||
|
||||
declare function nonpartial<T>(x: Partial<T>): T;
|
||||
|
||||
declare let x20: [number | undefined, string?, ...boolean[]];
|
||||
let y20 = nonpartial(x20);
|
||||
|
||||
declare let x21: (number | undefined)[];
|
||||
let y21 = nonpartial(x21);
|
||||
|
||||
declare let x22: { a: number | undefined, b?: string[] };
|
||||
let y22 = nonpartial(x22);
|
||||
|
||||
type Awaited<T> = T extends PromiseLike<infer U> ? U : T;
|
||||
type Awaitified<T> = { [P in keyof T]: Awaited<T[P]> };
|
||||
|
||||
declare function all<T extends any[]>(...values: T): Promise<Awaitified<T>>;
|
||||
|
||||
function f1(a: number, b: Promise<number>, c: string[], d: Promise<string[]>) {
|
||||
let x1 = all(a);
|
||||
let x2 = all(a, b);
|
||||
let x3 = all(a, b, c);
|
||||
let x4 = all(a, b, c, d);
|
||||
}
|
||||
|
||||
|
||||
//// [mappedTypesArraysTuples.js]
|
||||
"use strict";
|
||||
var y10 = unboxify(x10);
|
||||
var y11 = unboxify(x11);
|
||||
var y12 = unboxify(x12);
|
||||
var y20 = nonpartial(x20);
|
||||
var y21 = nonpartial(x21);
|
||||
var y22 = nonpartial(x22);
|
||||
function f1(a, b, c, d) {
|
||||
var x1 = all(a);
|
||||
var x2 = all(a, b);
|
||||
var x3 = all(a, b, c);
|
||||
var x4 = all(a, b, c, d);
|
||||
}
|
||||
|
||||
|
||||
//// [mappedTypesArraysTuples.d.ts]
|
||||
declare type Box<T> = {
|
||||
value: T;
|
||||
};
|
||||
declare type Boxified<T> = {
|
||||
[P in keyof T]: Box<T[P]>;
|
||||
};
|
||||
declare type T00 = Boxified<[number, string?, ...boolean[]]>;
|
||||
declare type T01 = Partial<[number, string?, ...boolean[]]>;
|
||||
declare type T02 = Required<[number, string?, ...boolean[]]>;
|
||||
declare type T10 = Boxified<string[]>;
|
||||
declare type T11 = Partial<string[]>;
|
||||
declare type T12 = Required<string[]>;
|
||||
declare type T13 = Boxified<ReadonlyArray<string>>;
|
||||
declare type T14 = Partial<ReadonlyArray<string>>;
|
||||
declare type T15 = Required<ReadonlyArray<string>>;
|
||||
declare type T20 = Boxified<(string | undefined)[]>;
|
||||
declare type T21 = Partial<(string | undefined)[]>;
|
||||
declare type T22 = Required<(string | undefined)[]>;
|
||||
declare type T23 = Boxified<ReadonlyArray<string | undefined>>;
|
||||
declare type T24 = Partial<ReadonlyArray<string | undefined>>;
|
||||
declare type T25 = Required<ReadonlyArray<string | undefined>>;
|
||||
declare type T30 = Boxified<Partial<string[]>>;
|
||||
declare type T31 = Partial<Boxified<string[]>>;
|
||||
declare type A = {
|
||||
a: string;
|
||||
};
|
||||
declare type B = {
|
||||
b: string;
|
||||
};
|
||||
declare type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
|
||||
declare function unboxify<T>(x: Boxified<T>): T;
|
||||
declare let x10: [Box<number>, Box<string>, ...Box<boolean>[]];
|
||||
declare let y10: [number, string, ...boolean[]];
|
||||
declare let x11: Box<number>[];
|
||||
declare let y11: number[];
|
||||
declare let x12: {
|
||||
a: Box<number>;
|
||||
b: Box<string[]>;
|
||||
};
|
||||
declare let y12: {
|
||||
a: number;
|
||||
b: string[];
|
||||
};
|
||||
declare function nonpartial<T>(x: Partial<T>): T;
|
||||
declare let x20: [number | undefined, string?, ...boolean[]];
|
||||
declare let y20: [number, string, ...boolean[]];
|
||||
declare let x21: (number | undefined)[];
|
||||
declare let y21: number[];
|
||||
declare let x22: {
|
||||
a: number | undefined;
|
||||
b?: string[];
|
||||
};
|
||||
declare let y22: {
|
||||
a: number;
|
||||
b: string[];
|
||||
};
|
||||
declare type Awaited<T> = T extends PromiseLike<infer U> ? U : T;
|
||||
declare type Awaitified<T> = {
|
||||
[P in keyof T]: Awaited<T[P]>;
|
||||
};
|
||||
declare function all<T extends any[]>(...values: T): Promise<Awaitified<T>>;
|
||||
declare function f1(a: number, b: Promise<number>, c: string[], d: Promise<string[]>): void;
|
||||
247
tests/baselines/reference/mappedTypesArraysTuples.symbols
Normal file
247
tests/baselines/reference/mappedTypesArraysTuples.symbols
Normal file
@ -0,0 +1,247 @@
|
||||
=== tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts ===
|
||||
type Box<T> = { value: T };
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 0, 9))
|
||||
>value : Symbol(value, Decl(mappedTypesArraysTuples.ts, 0, 15))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 0, 9))
|
||||
|
||||
type Boxified<T> = { [P in keyof T]: Box<T[P]> };
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 1, 14))
|
||||
>P : Symbol(P, Decl(mappedTypesArraysTuples.ts, 1, 22))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 1, 14))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 1, 14))
|
||||
>P : Symbol(P, Decl(mappedTypesArraysTuples.ts, 1, 22))
|
||||
|
||||
type T00 = Boxified<[number, string?, ...boolean[]]>;
|
||||
>T00 : Symbol(T00, Decl(mappedTypesArraysTuples.ts, 1, 49))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
|
||||
type T01 = Partial<[number, string?, ...boolean[]]>;
|
||||
>T01 : Symbol(T01, Decl(mappedTypesArraysTuples.ts, 3, 53))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T02 = Required<[number, string?, ...boolean[]]>;
|
||||
>T02 : Symbol(T02, Decl(mappedTypesArraysTuples.ts, 4, 52))
|
||||
>Required : Symbol(Required, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T10 = Boxified<string[]>;
|
||||
>T10 : Symbol(T10, Decl(mappedTypesArraysTuples.ts, 5, 53))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
|
||||
type T11 = Partial<string[]>;
|
||||
>T11 : Symbol(T11, Decl(mappedTypesArraysTuples.ts, 7, 30))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T12 = Required<string[]>;
|
||||
>T12 : Symbol(T12, Decl(mappedTypesArraysTuples.ts, 8, 29))
|
||||
>Required : Symbol(Required, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T13 = Boxified<ReadonlyArray<string>>;
|
||||
>T13 : Symbol(T13, Decl(mappedTypesArraysTuples.ts, 9, 30))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T14 = Partial<ReadonlyArray<string>>;
|
||||
>T14 : Symbol(T14, Decl(mappedTypesArraysTuples.ts, 10, 43))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T15 = Required<ReadonlyArray<string>>;
|
||||
>T15 : Symbol(T15, Decl(mappedTypesArraysTuples.ts, 11, 42))
|
||||
>Required : Symbol(Required, Decl(lib.es5.d.ts, --, --))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T20 = Boxified<(string | undefined)[]>;
|
||||
>T20 : Symbol(T20, Decl(mappedTypesArraysTuples.ts, 12, 43))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
|
||||
type T21 = Partial<(string | undefined)[]>;
|
||||
>T21 : Symbol(T21, Decl(mappedTypesArraysTuples.ts, 14, 44))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T22 = Required<(string | undefined)[]>;
|
||||
>T22 : Symbol(T22, Decl(mappedTypesArraysTuples.ts, 15, 43))
|
||||
>Required : Symbol(Required, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T23 = Boxified<ReadonlyArray<string | undefined>>;
|
||||
>T23 : Symbol(T23, Decl(mappedTypesArraysTuples.ts, 16, 44))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T24 = Partial<ReadonlyArray<string | undefined>>;
|
||||
>T24 : Symbol(T24, Decl(mappedTypesArraysTuples.ts, 17, 55))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T25 = Required<ReadonlyArray<string | undefined>>;
|
||||
>T25 : Symbol(T25, Decl(mappedTypesArraysTuples.ts, 18, 54))
|
||||
>Required : Symbol(Required, Decl(lib.es5.d.ts, --, --))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T30 = Boxified<Partial<string[]>>;
|
||||
>T30 : Symbol(T30, Decl(mappedTypesArraysTuples.ts, 19, 55))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
type T31 = Partial<Boxified<string[]>>;
|
||||
>T31 : Symbol(T31, Decl(mappedTypesArraysTuples.ts, 21, 39))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
|
||||
type A = { a: string };
|
||||
>A : Symbol(A, Decl(mappedTypesArraysTuples.ts, 22, 39))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 24, 10))
|
||||
|
||||
type B = { b: string };
|
||||
>B : Symbol(B, Decl(mappedTypesArraysTuples.ts, 24, 23))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 25, 10))
|
||||
|
||||
type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
|
||||
>T40 : Symbol(T40, Decl(mappedTypesArraysTuples.ts, 25, 23))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>A : Symbol(A, Decl(mappedTypesArraysTuples.ts, 22, 39))
|
||||
>A : Symbol(A, Decl(mappedTypesArraysTuples.ts, 22, 39))
|
||||
>ReadonlyArray : Symbol(ReadonlyArray, Decl(lib.es5.d.ts, --, --))
|
||||
>A : Symbol(A, Decl(mappedTypesArraysTuples.ts, 22, 39))
|
||||
>A : Symbol(A, Decl(mappedTypesArraysTuples.ts, 22, 39))
|
||||
>B : Symbol(B, Decl(mappedTypesArraysTuples.ts, 24, 23))
|
||||
|
||||
declare function unboxify<T>(x: Boxified<T>): T;
|
||||
>unboxify : Symbol(unboxify, Decl(mappedTypesArraysTuples.ts, 27, 77))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 29, 26))
|
||||
>x : Symbol(x, Decl(mappedTypesArraysTuples.ts, 29, 29))
|
||||
>Boxified : Symbol(Boxified, Decl(mappedTypesArraysTuples.ts, 0, 27))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 29, 26))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 29, 26))
|
||||
|
||||
declare let x10: [Box<number>, Box<string>, ...Box<boolean>[]];
|
||||
>x10 : Symbol(x10, Decl(mappedTypesArraysTuples.ts, 31, 11))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
|
||||
let y10 = unboxify(x10);
|
||||
>y10 : Symbol(y10, Decl(mappedTypesArraysTuples.ts, 32, 3))
|
||||
>unboxify : Symbol(unboxify, Decl(mappedTypesArraysTuples.ts, 27, 77))
|
||||
>x10 : Symbol(x10, Decl(mappedTypesArraysTuples.ts, 31, 11))
|
||||
|
||||
declare let x11: Box<number>[];
|
||||
>x11 : Symbol(x11, Decl(mappedTypesArraysTuples.ts, 34, 11))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
|
||||
let y11 = unboxify(x11);
|
||||
>y11 : Symbol(y11, Decl(mappedTypesArraysTuples.ts, 35, 3))
|
||||
>unboxify : Symbol(unboxify, Decl(mappedTypesArraysTuples.ts, 27, 77))
|
||||
>x11 : Symbol(x11, Decl(mappedTypesArraysTuples.ts, 34, 11))
|
||||
|
||||
declare let x12: { a: Box<number>, b: Box<string[]> };
|
||||
>x12 : Symbol(x12, Decl(mappedTypesArraysTuples.ts, 37, 11))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 37, 18))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 37, 34))
|
||||
>Box : Symbol(Box, Decl(mappedTypesArraysTuples.ts, 0, 0))
|
||||
|
||||
let y12 = unboxify(x12);
|
||||
>y12 : Symbol(y12, Decl(mappedTypesArraysTuples.ts, 38, 3))
|
||||
>unboxify : Symbol(unboxify, Decl(mappedTypesArraysTuples.ts, 27, 77))
|
||||
>x12 : Symbol(x12, Decl(mappedTypesArraysTuples.ts, 37, 11))
|
||||
|
||||
declare function nonpartial<T>(x: Partial<T>): T;
|
||||
>nonpartial : Symbol(nonpartial, Decl(mappedTypesArraysTuples.ts, 38, 24))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 40, 28))
|
||||
>x : Symbol(x, Decl(mappedTypesArraysTuples.ts, 40, 31))
|
||||
>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 40, 28))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 40, 28))
|
||||
|
||||
declare let x20: [number | undefined, string?, ...boolean[]];
|
||||
>x20 : Symbol(x20, Decl(mappedTypesArraysTuples.ts, 42, 11))
|
||||
|
||||
let y20 = nonpartial(x20);
|
||||
>y20 : Symbol(y20, Decl(mappedTypesArraysTuples.ts, 43, 3))
|
||||
>nonpartial : Symbol(nonpartial, Decl(mappedTypesArraysTuples.ts, 38, 24))
|
||||
>x20 : Symbol(x20, Decl(mappedTypesArraysTuples.ts, 42, 11))
|
||||
|
||||
declare let x21: (number | undefined)[];
|
||||
>x21 : Symbol(x21, Decl(mappedTypesArraysTuples.ts, 45, 11))
|
||||
|
||||
let y21 = nonpartial(x21);
|
||||
>y21 : Symbol(y21, Decl(mappedTypesArraysTuples.ts, 46, 3))
|
||||
>nonpartial : Symbol(nonpartial, Decl(mappedTypesArraysTuples.ts, 38, 24))
|
||||
>x21 : Symbol(x21, Decl(mappedTypesArraysTuples.ts, 45, 11))
|
||||
|
||||
declare let x22: { a: number | undefined, b?: string[] };
|
||||
>x22 : Symbol(x22, Decl(mappedTypesArraysTuples.ts, 48, 11))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 48, 18))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 48, 41))
|
||||
|
||||
let y22 = nonpartial(x22);
|
||||
>y22 : Symbol(y22, Decl(mappedTypesArraysTuples.ts, 49, 3))
|
||||
>nonpartial : Symbol(nonpartial, Decl(mappedTypesArraysTuples.ts, 38, 24))
|
||||
>x22 : Symbol(x22, Decl(mappedTypesArraysTuples.ts, 48, 11))
|
||||
|
||||
type Awaited<T> = T extends PromiseLike<infer U> ? U : T;
|
||||
>Awaited : Symbol(Awaited, Decl(mappedTypesArraysTuples.ts, 49, 26))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 51, 13))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 51, 13))
|
||||
>PromiseLike : Symbol(PromiseLike, Decl(lib.es5.d.ts, --, --))
|
||||
>U : Symbol(U, Decl(mappedTypesArraysTuples.ts, 51, 45))
|
||||
>U : Symbol(U, Decl(mappedTypesArraysTuples.ts, 51, 45))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 51, 13))
|
||||
|
||||
type Awaitified<T> = { [P in keyof T]: Awaited<T[P]> };
|
||||
>Awaitified : Symbol(Awaitified, Decl(mappedTypesArraysTuples.ts, 51, 57))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 52, 16))
|
||||
>P : Symbol(P, Decl(mappedTypesArraysTuples.ts, 52, 24))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 52, 16))
|
||||
>Awaited : Symbol(Awaited, Decl(mappedTypesArraysTuples.ts, 49, 26))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 52, 16))
|
||||
>P : Symbol(P, Decl(mappedTypesArraysTuples.ts, 52, 24))
|
||||
|
||||
declare function all<T extends any[]>(...values: T): Promise<Awaitified<T>>;
|
||||
>all : Symbol(all, Decl(mappedTypesArraysTuples.ts, 52, 55))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 54, 21))
|
||||
>values : Symbol(values, Decl(mappedTypesArraysTuples.ts, 54, 38))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 54, 21))
|
||||
>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --))
|
||||
>Awaitified : Symbol(Awaitified, Decl(mappedTypesArraysTuples.ts, 51, 57))
|
||||
>T : Symbol(T, Decl(mappedTypesArraysTuples.ts, 54, 21))
|
||||
|
||||
function f1(a: number, b: Promise<number>, c: string[], d: Promise<string[]>) {
|
||||
>f1 : Symbol(f1, Decl(mappedTypesArraysTuples.ts, 54, 76))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 56, 12))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 56, 22))
|
||||
>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --))
|
||||
>c : Symbol(c, Decl(mappedTypesArraysTuples.ts, 56, 42))
|
||||
>d : Symbol(d, Decl(mappedTypesArraysTuples.ts, 56, 55))
|
||||
>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --))
|
||||
|
||||
let x1 = all(a);
|
||||
>x1 : Symbol(x1, Decl(mappedTypesArraysTuples.ts, 57, 7))
|
||||
>all : Symbol(all, Decl(mappedTypesArraysTuples.ts, 52, 55))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 56, 12))
|
||||
|
||||
let x2 = all(a, b);
|
||||
>x2 : Symbol(x2, Decl(mappedTypesArraysTuples.ts, 58, 7))
|
||||
>all : Symbol(all, Decl(mappedTypesArraysTuples.ts, 52, 55))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 56, 12))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 56, 22))
|
||||
|
||||
let x3 = all(a, b, c);
|
||||
>x3 : Symbol(x3, Decl(mappedTypesArraysTuples.ts, 59, 7))
|
||||
>all : Symbol(all, Decl(mappedTypesArraysTuples.ts, 52, 55))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 56, 12))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 56, 22))
|
||||
>c : Symbol(c, Decl(mappedTypesArraysTuples.ts, 56, 42))
|
||||
|
||||
let x4 = all(a, b, c, d);
|
||||
>x4 : Symbol(x4, Decl(mappedTypesArraysTuples.ts, 60, 7))
|
||||
>all : Symbol(all, Decl(mappedTypesArraysTuples.ts, 52, 55))
|
||||
>a : Symbol(a, Decl(mappedTypesArraysTuples.ts, 56, 12))
|
||||
>b : Symbol(b, Decl(mappedTypesArraysTuples.ts, 56, 22))
|
||||
>c : Symbol(c, Decl(mappedTypesArraysTuples.ts, 56, 42))
|
||||
>d : Symbol(d, Decl(mappedTypesArraysTuples.ts, 56, 55))
|
||||
}
|
||||
|
||||
257
tests/baselines/reference/mappedTypesArraysTuples.types
Normal file
257
tests/baselines/reference/mappedTypesArraysTuples.types
Normal file
@ -0,0 +1,257 @@
|
||||
=== tests/cases/conformance/types/mapped/mappedTypesArraysTuples.ts ===
|
||||
type Box<T> = { value: T };
|
||||
>Box : Box<T>
|
||||
>T : T
|
||||
>value : T
|
||||
>T : T
|
||||
|
||||
type Boxified<T> = { [P in keyof T]: Box<T[P]> };
|
||||
>Boxified : Boxified<T>
|
||||
>T : T
|
||||
>P : P
|
||||
>T : T
|
||||
>Box : Box<T>
|
||||
>T : T
|
||||
>P : P
|
||||
|
||||
type T00 = Boxified<[number, string?, ...boolean[]]>;
|
||||
>T00 : [Box<number>, Box<string | undefined>?, ...Box<boolean>[]]
|
||||
>Boxified : Boxified<T>
|
||||
|
||||
type T01 = Partial<[number, string?, ...boolean[]]>;
|
||||
>T01 : [(number | undefined)?, (string | undefined)?, ...(boolean | undefined)[]]
|
||||
>Partial : Partial<T>
|
||||
|
||||
type T02 = Required<[number, string?, ...boolean[]]>;
|
||||
>T02 : [number, string, ...boolean[]]
|
||||
>Required : Required<T>
|
||||
|
||||
type T10 = Boxified<string[]>;
|
||||
>T10 : Box<string>[]
|
||||
>Boxified : Boxified<T>
|
||||
|
||||
type T11 = Partial<string[]>;
|
||||
>T11 : (string | undefined)[]
|
||||
>Partial : Partial<T>
|
||||
|
||||
type T12 = Required<string[]>;
|
||||
>T12 : string[]
|
||||
>Required : Required<T>
|
||||
|
||||
type T13 = Boxified<ReadonlyArray<string>>;
|
||||
>T13 : ReadonlyArray<Box<string>>
|
||||
>Boxified : Boxified<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T14 = Partial<ReadonlyArray<string>>;
|
||||
>T14 : ReadonlyArray<string | undefined>
|
||||
>Partial : Partial<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T15 = Required<ReadonlyArray<string>>;
|
||||
>T15 : ReadonlyArray<string>
|
||||
>Required : Required<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T20 = Boxified<(string | undefined)[]>;
|
||||
>T20 : Box<string | undefined>[]
|
||||
>Boxified : Boxified<T>
|
||||
|
||||
type T21 = Partial<(string | undefined)[]>;
|
||||
>T21 : (string | undefined)[]
|
||||
>Partial : Partial<T>
|
||||
|
||||
type T22 = Required<(string | undefined)[]>;
|
||||
>T22 : string[]
|
||||
>Required : Required<T>
|
||||
|
||||
type T23 = Boxified<ReadonlyArray<string | undefined>>;
|
||||
>T23 : ReadonlyArray<Box<string | undefined>>
|
||||
>Boxified : Boxified<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T24 = Partial<ReadonlyArray<string | undefined>>;
|
||||
>T24 : ReadonlyArray<string | undefined>
|
||||
>Partial : Partial<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T25 = Required<ReadonlyArray<string | undefined>>;
|
||||
>T25 : ReadonlyArray<string>
|
||||
>Required : Required<T>
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
|
||||
type T30 = Boxified<Partial<string[]>>;
|
||||
>T30 : Box<string | undefined>[]
|
||||
>Boxified : Boxified<T>
|
||||
>Partial : Partial<T>
|
||||
|
||||
type T31 = Partial<Boxified<string[]>>;
|
||||
>T31 : (Box<string> | undefined)[]
|
||||
>Partial : Partial<T>
|
||||
>Boxified : Boxified<T>
|
||||
|
||||
type A = { a: string };
|
||||
>A : A
|
||||
>a : string
|
||||
|
||||
type B = { b: string };
|
||||
>B : B
|
||||
>b : string
|
||||
|
||||
type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
|
||||
>T40 : string | Box<string>[] | Boxified<A> | Box<A>[] | ReadonlyArray<Box<A>> | [Box<A>, Box<B>]
|
||||
>Boxified : Boxified<T>
|
||||
>A : A
|
||||
>A : A
|
||||
>ReadonlyArray : ReadonlyArray<T>
|
||||
>A : A
|
||||
>A : A
|
||||
>B : B
|
||||
|
||||
declare function unboxify<T>(x: Boxified<T>): T;
|
||||
>unboxify : <T>(x: Boxified<T>) => T
|
||||
>T : T
|
||||
>x : Boxified<T>
|
||||
>Boxified : Boxified<T>
|
||||
>T : T
|
||||
>T : T
|
||||
|
||||
declare let x10: [Box<number>, Box<string>, ...Box<boolean>[]];
|
||||
>x10 : [Box<number>, Box<string>, ...Box<boolean>[]]
|
||||
>Box : Box<T>
|
||||
>Box : Box<T>
|
||||
>Box : Box<T>
|
||||
|
||||
let y10 = unboxify(x10);
|
||||
>y10 : [number, string, ...boolean[]]
|
||||
>unboxify(x10) : [number, string, ...boolean[]]
|
||||
>unboxify : <T>(x: Boxified<T>) => T
|
||||
>x10 : [Box<number>, Box<string>, ...Box<boolean>[]]
|
||||
|
||||
declare let x11: Box<number>[];
|
||||
>x11 : Box<number>[]
|
||||
>Box : Box<T>
|
||||
|
||||
let y11 = unboxify(x11);
|
||||
>y11 : number[]
|
||||
>unboxify(x11) : number[]
|
||||
>unboxify : <T>(x: Boxified<T>) => T
|
||||
>x11 : Box<number>[]
|
||||
|
||||
declare let x12: { a: Box<number>, b: Box<string[]> };
|
||||
>x12 : { a: Box<number>; b: Box<string[]>; }
|
||||
>a : Box<number>
|
||||
>Box : Box<T>
|
||||
>b : Box<string[]>
|
||||
>Box : Box<T>
|
||||
|
||||
let y12 = unboxify(x12);
|
||||
>y12 : { a: number; b: string[]; }
|
||||
>unboxify(x12) : { a: number; b: string[]; }
|
||||
>unboxify : <T>(x: Boxified<T>) => T
|
||||
>x12 : { a: Box<number>; b: Box<string[]>; }
|
||||
|
||||
declare function nonpartial<T>(x: Partial<T>): T;
|
||||
>nonpartial : <T>(x: Partial<T>) => T
|
||||
>T : T
|
||||
>x : Partial<T>
|
||||
>Partial : Partial<T>
|
||||
>T : T
|
||||
>T : T
|
||||
|
||||
declare let x20: [number | undefined, string?, ...boolean[]];
|
||||
>x20 : [number | undefined, (string | undefined)?, ...boolean[]]
|
||||
|
||||
let y20 = nonpartial(x20);
|
||||
>y20 : [number, string, ...boolean[]]
|
||||
>nonpartial(x20) : [number, string, ...boolean[]]
|
||||
>nonpartial : <T>(x: Partial<T>) => T
|
||||
>x20 : [number | undefined, (string | undefined)?, ...boolean[]]
|
||||
|
||||
declare let x21: (number | undefined)[];
|
||||
>x21 : (number | undefined)[]
|
||||
|
||||
let y21 = nonpartial(x21);
|
||||
>y21 : number[]
|
||||
>nonpartial(x21) : number[]
|
||||
>nonpartial : <T>(x: Partial<T>) => T
|
||||
>x21 : (number | undefined)[]
|
||||
|
||||
declare let x22: { a: number | undefined, b?: string[] };
|
||||
>x22 : { a: number | undefined; b?: string[] | undefined; }
|
||||
>a : number | undefined
|
||||
>b : string[] | undefined
|
||||
|
||||
let y22 = nonpartial(x22);
|
||||
>y22 : { a: number; b: string[]; }
|
||||
>nonpartial(x22) : { a: number; b: string[]; }
|
||||
>nonpartial : <T>(x: Partial<T>) => T
|
||||
>x22 : { a: number | undefined; b?: string[] | undefined; }
|
||||
|
||||
type Awaited<T> = T extends PromiseLike<infer U> ? U : T;
|
||||
>Awaited : Awaited<T>
|
||||
>T : T
|
||||
>T : T
|
||||
>PromiseLike : PromiseLike<T>
|
||||
>U : U
|
||||
>U : U
|
||||
>T : T
|
||||
|
||||
type Awaitified<T> = { [P in keyof T]: Awaited<T[P]> };
|
||||
>Awaitified : Awaitified<T>
|
||||
>T : T
|
||||
>P : P
|
||||
>T : T
|
||||
>Awaited : Awaited<T>
|
||||
>T : T
|
||||
>P : P
|
||||
|
||||
declare function all<T extends any[]>(...values: T): Promise<Awaitified<T>>;
|
||||
>all : <T extends any[]>(...values: T) => Promise<Awaitified<T>>
|
||||
>T : T
|
||||
>values : T
|
||||
>T : T
|
||||
>Promise : Promise<T>
|
||||
>Awaitified : Awaitified<T>
|
||||
>T : T
|
||||
|
||||
function f1(a: number, b: Promise<number>, c: string[], d: Promise<string[]>) {
|
||||
>f1 : (a: number, b: Promise<number>, c: string[], d: Promise<string[]>) => void
|
||||
>a : number
|
||||
>b : Promise<number>
|
||||
>Promise : Promise<T>
|
||||
>c : string[]
|
||||
>d : Promise<string[]>
|
||||
>Promise : Promise<T>
|
||||
|
||||
let x1 = all(a);
|
||||
>x1 : Promise<[number]>
|
||||
>all(a) : Promise<[number]>
|
||||
>all : <T extends any[]>(...values: T) => Promise<Awaitified<T>>
|
||||
>a : number
|
||||
|
||||
let x2 = all(a, b);
|
||||
>x2 : Promise<[number, number]>
|
||||
>all(a, b) : Promise<[number, number]>
|
||||
>all : <T extends any[]>(...values: T) => Promise<Awaitified<T>>
|
||||
>a : number
|
||||
>b : Promise<number>
|
||||
|
||||
let x3 = all(a, b, c);
|
||||
>x3 : Promise<[number, number, string[]]>
|
||||
>all(a, b, c) : Promise<[number, number, string[]]>
|
||||
>all : <T extends any[]>(...values: T) => Promise<Awaitified<T>>
|
||||
>a : number
|
||||
>b : Promise<number>
|
||||
>c : string[]
|
||||
|
||||
let x4 = all(a, b, c, d);
|
||||
>x4 : Promise<[number, number, string[], string[]]>
|
||||
>all(a, b, c, d) : Promise<[number, number, string[], string[]]>
|
||||
>all : <T extends any[]>(...values: T) => Promise<Awaitified<T>>
|
||||
>a : number
|
||||
>b : Promise<number>
|
||||
>c : string[]
|
||||
>d : Promise<string[]>
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user