Home
last modified time | relevance | path

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

/arkcompiler/ets_runtime/test/typeinfer/automatedcases/
DmappedTypes3.ts30 declare function unboxify<T>(obj: Boxified<T>): T;
61 let b = unboxify(bb); // Infer Bacon for T
63 AssertType(unboxify(bb), "Bacon");
64 AssertType(unboxify, "<T>(Boxified<T>) => T");
77 let b = unboxify<Bacon>(bb); // Explicit type parameter required
79 AssertType(unboxify<Bacon>(bb), "Bacon");
80 AssertType(unboxify, "<T>(Boxified<T>) => T");
DmappedTypesArraysTuples.ts58 declare function unboxify<T>(x: Boxified<T>): T; function
63 let y10 = unboxify(x10);
65 AssertType(unboxify(x10), "[number, string, ...boolean[]]");
66 AssertType(unboxify, "<T>(Boxified<T>) => T");
72 let y11 = unboxify(x11);
74 AssertType(unboxify(x11), "number[]");
75 AssertType(unboxify, "<T>(Boxified<T>) => T");
83 let y12 = unboxify(x12);
85 AssertType(unboxify(x12), "{ a: number; b: string[]; }");
86 AssertType(unboxify, "<T>(Boxified<T>) => T");
DisomorphicMappedTypeInference.ts66 function unboxify<T extends object>(obj: Boxified<T>): T { function
162 let v = unboxify(b);
164 AssertType(unboxify(b), "{ a: number; b: string; c: boolean; }");
165 AssertType(unboxify, "<T extends object>(Boxified<T>) => T");
230 b = boxify(unboxify(b));
231 AssertType(b = boxify(unboxify(b)), "Boxified<{ a: number; b: string; c: boolean; }>");
233 AssertType(boxify(unboxify(b)), "Boxified<{ a: number; b: string; c: boolean; }>");
235 AssertType(unboxify(b), "{ a: number; b: string; c: boolean; }");
236 AssertType(unboxify, "<T extends object>(Boxified<T>) => T");
239 b = unboxify(boxify(b));
[all …]
DgenericFunctionsAndConditionalInference.ts23 declare function unboxify<T>(obj: Boxified<T>): T; function
26 AssertType(unboxify(obj), "{ u: U; v: V; }");
27 AssertType(unboxify, "<T>(Boxified<T>) => T");
29 return unboxify(obj);
/arkcompiler/ets_frontend/testTs/expect/types/mapped/
DisomorphicMappedTypeInference.txt4 {'lb': [{'t': 2, 'v': 3}, {'t': 2, 'v': 0}, {'t': 5, 'v': 'unboxify'}, {'t': 2, 'v': 0}, {'t': 2, '…
/arkcompiler/ets_frontend/testTs/
Dtest-case.patch10666 let b = unboxify<Bacon>(bb); // Explicit type parameter required