Home
last modified time | relevance | path

Searched refs:Boxified (Results 1 – 6 of 6) sorted by relevance

/arkcompiler/ets_runtime/test/typeinfer/automatedcases/
DmappedTypesArraysTuples.ts22 type Boxified<T> = { [P in keyof T]: Box<T[P]> }; alias
24 type T00 = Boxified<[number, string?, ...boolean[]]>;
28 type T10 = Boxified<string[]>;
31 type T13 = Boxified<ReadonlyArray<string>>;
35 type T20 = Boxified<(string | undefined)[]>;
38 type T23 = Boxified<ReadonlyArray<string | undefined>>;
42 type T30 = Boxified<Partial<string[]>>;
43 type T31 = Partial<Boxified<string[]>>;
48 type T40 = Boxified<A | A[] | ReadonlyArray<A> | [A, B] | string | string[]>;
58 declare function unboxify<T>(x: Boxified<T>): T;
[all …]
DmappedTypes4.ts24 type Boxified<T> = { alias
28 function boxify<T>(obj: T): Boxified<T> {
35 let result = {} as Boxified<T>;
37 AssertType({} as Boxified<T>, "Boxified<T>");
76 type T02 = Boxified<A | B[] | C | string>
78 type T04 = Boxified<string | number | boolean | null | undefined | void>;
DmappedTypes3.ts25 type Boxified<T> = { alias
29 declare function boxify<T>(obj: T): Boxified<T>;
30 declare function unboxify<T>(obj: Boxified<T>): T;
60 function f2(bb: Boxified<Bacon>) {
DisomorphicMappedTypeInference.ts25 type Boxified<T> = { alias
41 function boxify<T>(obj: T): Boxified<T> {
42 let result = {} as Boxified<T>;
44 AssertType({} as Boxified<T>, "Boxified<T>");
66 function unboxify<T extends object>(obj: Boxified<T>): T {
91 function assignBoxified<T>(obj: Boxified<T>, values: T) {
470 declare function f22<T, K extends keyof T>(obj: Boxified<Pick<T, K>>): T;
DgenericFunctionsAndConditionalInference.ts21 type Boxified<T> = { [P in keyof T]: { value: T[P]} };
23 declare function unboxify<T>(obj: Boxified<T>): T;
DmappedTypeModifiers.ts110 type Boxified<T> = { [P in keyof T]: { x: T[P] } }; alias
230 function f3(x: Boxified<Foo>) {