| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | emitExponentiationOperatorInTempalteString4ES6.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** -t2} world`;
34 AssertType(`${t1 ** -t2} world`, "string");
35 AssertType(t1 ** -t2, "number");
36 AssertType(t1, "number");
40 `${(-t1) ** t2 - t1} world`;
41 AssertType(`${(-t1) ** t2 - t1} world`, "string");
42 AssertType((-t1) ** t2 - t1, "number");
43 AssertType((-t1) ** t2, "number");
[all …]
|
| D | emitExponentiationOperatorInTempalteString4.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** -t2} world`;
34 AssertType(`${t1 ** -t2} world`, "string");
35 AssertType(t1 ** -t2, "number");
36 AssertType(t1, "number");
40 `${(-t1) ** t2 - t1} world`;
41 AssertType(`${(-t1) ** t2 - t1} world`, "string");
42 AssertType((-t1) ** t2 - t1, "number");
43 AssertType((-t1) ** t2, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString2.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `hello ${t1 ** t2}`;
34 AssertType(`hello ${t1 ** t2}`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `hello ${t1 ** t2 ** t1}`;
40 AssertType(`hello ${t1 ** t2 ** t1}`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString1.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** t2}`;
34 AssertType(`${t1 ** t2}`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `${t1 ** t2 ** t1}`;
40 AssertType(`${t1 ** t2 ** t1}`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString2ES6.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `hello ${t1 ** t2}`;
34 AssertType(`hello ${t1 ** t2}`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `hello ${t1 ** t2 ** t1}`;
40 AssertType(`hello ${t1 ** t2 ** t1}`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString3.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** t2} world`;
34 AssertType(`${t1 ** t2} world`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `${t1 ** t2 ** t1} world`;
40 AssertType(`${t1 ** t2 ** t1} world`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString3ES6.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** t2} world`;
34 AssertType(`${t1 ** t2} world`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `${t1 ** t2 ** t1} world`;
40 AssertType(`${t1 ** t2 ** t1} world`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | emitExponentiationOperatorInTemplateString1ES6.ts | 21 let t1 = 10;
22 AssertType(t1, "number");
33 `${t1 ** t2}`;
34 AssertType(`${t1 ** t2}`, "string");
35 AssertType(t1 ** t2, "number");
36 AssertType(t1, "number");
39 `${t1 ** t2 ** t1}`;
40 AssertType(`${t1 ** t2 ** t1}`, "string");
41 AssertType(t1 ** t2 ** t1, "number");
42 AssertType(t1, "number");
[all …]
|
| D | genericRestParameters2.ts | 21 declare const t1: [number, string, ...boolean[]];
22 AssertType(t1, "[number, string, ...boolean[]]");
109 f10(t1[0], t1[1], t1[2], t1[3]);
110 AssertType(f10(t1[0], t1[1], t1[2], t1[3]), "void");
112 AssertType(t1[0], "number");
113 AssertType(t1, "[number, string, ...boolean[]]");
115 AssertType(t1[1], "string");
116 AssertType(t1, "[number, string, ...boolean[]]");
118 AssertType(t1[2], "boolean");
119 AssertType(t1, "[number, string, ...boolean[]]");
[all …]
|
| D | partiallyAnnotatedFunctionInferenceWithTypeParameter.ts | 29 declare function test<T extends C>(a: (t: T, t1: T) => void): T
31 declare function testRest<T extends C>(a: (t: T, t1: T, ...ts: T[]) => void): T
35 test((t1: D, t2) => { t2.test2 })
36 AssertType(test((t1: D, t2) => { t2.test2 }), "D");
38 AssertType((t1: D, t2) => { t2.test2 }, "(D, D) => void");
39 AssertType(t1, "D");
43 test((t1, t2: D) => { t2.test2 })
44 AssertType(test((t1, t2: D) => { t2.test2 }), "D");
46 AssertType((t1, t2: D) => { t2.test2 }, "(D, D) => void");
47 AssertType(t1, "D");
[all …]
|
| D | typeParameterFixingWithContextSensitiveArguments5.ts | 21 function f<T, U>(t1: T, u1: U, pf1: (u2: U) => T, pf2: (t2: T) => U): [T, U] {
22 AssertType([t1, pf2(t1)], "[T, U]");
23 return [t1, pf2(t1)];
25 AssertType(t1, "T");
27 AssertType(pf2(t1), "U");
31 AssertType(t1, "T");
|
| D | genericObjectLitReturnType.ts | 37 let t1 = x.f(5); variable
38 AssertType(t1, "{ a: number; }");
43 t1.a = 5; // Should not error: t1 should have type {a: number}, instead has type {a: T
44 AssertType(t1.a = 5, "int");
46 AssertType(t1.a, "number");
|
| D | restParameterAssignmentCompatibility.ts | 51 let t1: T1; variable
52 AssertType(t1, "T1");
55 t1 = s; // Similar to above, but optionality does not matter here.
56 AssertType(t1 = s, "S");
57 AssertType(t1, "T1");
|
| D | destructuringVariableDeclaration1ES6.ts | 68 let temp = { t1: true, t2: "false" };
70 AssertType({ t1: true, t2: "false" }, "{ t1: boolean; t2: string; }");
71 AssertType(t1, "boolean");
76 let [b2 = 3, b3 = true, b4 = temp] = [3, false, { t1: false, t2: "hello" }]; variable
83 AssertType([3, false, { t1: false, t2: "hello" }], "[number, false, { t1: false; t2: string; }]");
86 AssertType({ t1: false, t2: "hello" }, "{ t1: false; t2: string; }");
87 AssertType(t1, "boolean");
|
| D | destructuringVariableDeclaration1ES5iterable.ts | 68 let temp = { t1: true, t2: "false" };
70 AssertType({ t1: true, t2: "false" }, "{ t1: boolean; t2: string; }");
71 AssertType(t1, "boolean");
76 let [b2 = 3, b3 = true, b4 = temp] = [3, false, { t1: false, t2: "hello" }]; variable
83 AssertType([3, false, { t1: false, t2: "hello" }], "[number, false, { t1: false; t2: string; }]");
86 AssertType({ t1: false, t2: "hello" }, "{ t1: false; t2: string; }");
87 AssertType(t1, "boolean");
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/dynamicNames/ |
| D | main.ts | 106 let t1: T1; variable
107 AssertType(t1, "T1");
172 t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, t2 = t3, t3 = t0, t3 = t1, …
173 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, t2 = t3, t3 = t0…
174 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, t2 = t3, t3 = t0…
175 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, t2 = t3, t3 = t0…
176 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, t2 = t3, "T3");
177 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, t2 = t1, "T1");
178 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, t2 = t0, "T0");
179 AssertType(t0 = t1, t0 = t2, t0 = t3, t1 = t0, t1 = t2, t1 = t3, "T3");
[all …]
|
| /arkcompiler/ets_runtime/test/typeinfer/module_test/module_multi_import/ |
| D | export3.ts | 19 constructor(t1 : number) {
20 this.value = t1;
27 let t1 = new Test3(123); variable
28 export let t2 = t1.foo() + 2.2;
29 AssertType(t1, "Test3");
30 AssertType(t1.value, "number");
31 AssertType(t1.foo(), "number");
|
| D | export2.ts | 23 let t1 = Test2(t0, 123); variable
24 let t3 = t1 + t2;
28 AssertType(t1, "number");
|
| /arkcompiler/ets_runtime/test/typeinfer/module_test/module_retransmission/ |
| D | export3.ts | 19 constructor(t1 : number) {
20 this.value = t1;
27 let t1 = new Test2(123); variable
28 AssertType(t1, "Test2");
29 AssertType(t1.value, "number");
30 AssertType(t1.foo(), "number");
|
| D | export.ts | 31 let t1 = new Test1("abc"); variable
32 AssertType(t1, "Test1");
33 AssertType(t1.value1, "string");
34 AssertType(t1.foo(), "string");
36 AssertType(foo2(t1, "def"), "string");
|
| D | module_retransmission.ts | 20 let t1 = new Test1("abc"); variable
22 let t3 = foo2(t1, "def")
24 AssertType(t1, "Test1");
|
| /arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/indexsignature_class/ |
| D | indexsignature_class.ts | 34 let t1:TestNumber = new TestNumber(123);
35 t1[1] = "abc";
36 t1[2] = "def";
45 AssertType(t1.value, "number");
46 AssertType(t1[1], "string");
47 AssertType(t1[2], "string");
|
| /arkcompiler/ets_runtime/test/typeinfer/class/ |
| D | class.ts | 18 t1:number;
19 constructor(t1:number) {
20 this.t1 = t1;
31 let s1 = new A(1).t1;
|
| /arkcompiler/ets_runtime/test/typeinfer/module_test/module_class/ |
| D | export1.ts | 27 let t1 = new Test1("abc"); variable
28 AssertType(t1, "Test1");
29 AssertType(t1.value1, "string");
30 AssertType(t1.foo(), "string");
|
| D | module_class.ts | 21 let t1 = new Test1("abc"); variable
22 AssertType(t1, "Test1");
23 AssertType(t1.value1, "string");
|