/arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
D | noImplicitThisBigThis.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 24 …1(): any; func2(): any; func3(): any; }; func2(): { func1(): any; func2(): any; func3(): any; }; f… 28 AssertType(func1, "() => { func1(): any; func2(): any; func3(): any; }"); 30 AssertType(this, "{ func1(): any; func2(): any; func3(): any; }"); 35 AssertType(func2, "() => { func1(): any; func2(): any; func3(): any; }"); 37 AssertType(this, "{ func1(): any; func2(): any; func3(): any; }"); 42 AssertType(func3, "() => { func1(): any; func2(): any; func3(): any; }"); 44 AssertType(this, "{ func1(): any; func2(): any; func3(): any; }"); 51 …any; func2(): any; func3(): any; func4(): any; func5(): any; func6(): any; func7(): any; func8(): … [all …]
|
D | castExpressionParentheses.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(a, "any"); 26 (<any>{a:0}); 27 AssertType((<any>{a:0}), "any"); 28 AssertType(<any>{a:0}, "any"); 33 (<any>[1,3,]); 34 AssertType((<any>[1,3,]), "any"); 35 AssertType(<any>[1,3,], "any"); 40 (<any>"string"); [all …]
|
D | controlFlowManyCallExpressionStatementsPerf.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 31 test(state as any && state); 32 AssertType(test(state as any && state), "boolean"); 34 AssertType(state as any && state, "any"); 35 AssertType(state as any, "any"); 39 test(state as any && state); 40 AssertType(test(state as any && state), "boolean"); 42 AssertType(state as any && state, "any"); 43 AssertType(state as any, "any"); [all …]
|
D | es5-asyncFunctionTryStatements.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 declare let x: any, y: any, z: any, a: any, b: any, c: any; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 30 let x: any, y: any; [all …]
|
D | propertyNamesOfReservedWords.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 90 AssertType(r1, "any"); 91 AssertType(c.abstract, "any"); 94 AssertType(r2, "any"); 95 AssertType(c.as, "any"); 167 AssertType(r3, "any"); 168 AssertType(i.abstract, "any"); 171 AssertType(r4, "any"); 172 AssertType(i.as, "any"); [all …]
|
D | anyAssignabilityInInheritance.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 // any is not a subtype of any other types, errors expected on all the below derived classes unless… 24 [x: string]: any; 25 foo: any; // ok, any identical to itself 28 let a: any; 29 AssertType(a, "any"); 32 declare function foo2(x: any): any; 33 let r3 = foo2(a); // any, not a subtype of number so it skips that overload, is a subtype of itself… 34 AssertType(r3, "any"); [all …]
|
D | nullishCoalescingOperator_es2020.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 55 declare const a9: any | null 56 AssertType(a9, "any"); 109 AssertType(aa9, "any"); 110 AssertType(a9 ?? 'whatever', "any"); 111 AssertType(a9, "any"); 115 declare let a: any, b: any, c: any; 116 AssertType(a, "any"); 117 AssertType(b, "any"); [all …]
|
D | es5-asyncFunctionNewExpressions.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(await new x(y, z), "any"); 32 AssertType(new x(y, z), "any"); [all …]
|
D | es5-asyncFunctionCallExpressions.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(await x(y, z), "any"); 32 AssertType(x(y, z), "any"); [all …]
|
D | es5-asyncFunctionForOfStatements.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(x, "any"); 33 AssertType(y, "any"); [all …]
|
D | destructuringAssignmentWithExportedName.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 export let exportedFoo: any; 22 AssertType(exportedFoo, "any"); 24 let nonexportedFoo: any; 25 AssertType(nonexportedFoo, "any"); 30 AssertType(exportedFoo, "any"); 35 AssertType(nonexportedFoo, "any"); 38 if (null as any) { 39 ({ exportedFoo, nonexportedFoo } = null as any); [all …]
|
D | anyInferenceAnonymousFunctions.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 let paired: any[]; 22 AssertType(paired, "any[]"); 25 …e(paired.reduce, "{ ((any, any, number, any[]) => any): any; ((any, any, number, any[]) => any, an… 26 AssertType(function (a1, a2) { return a1.concat({});}, "(any, any) => any"); 27 AssertType(a1, "any"); 28 AssertType(a2, "any"); 29 AssertType(paired.reduce(function (a1, a2) { return a1.concat({});} , []), "any"); 31 AssertType(a1.concat({}), "any"); [all …]
|
D | es5-asyncFunctionObjectLiterals.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(x = { a: await y, b: z }, "{ a: any; b: any; }"); 32 AssertType(x, "any"); [all …]
|
D | fatarrowfunctions.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 function foo(x:any) { 22 AssertType(x(), "any"); 23 AssertType(x, "any"); 29 AssertType(foo((x:number,y,z)=>{return x+y+z;}), "any"); 30 AssertType(foo, "(any) => any"); 31 AssertType((x:number,y,z)=>{return x+y+z;}, "(number, any, any) => any"); 33 AssertType(y, "any"); 34 AssertType(z, "any"); [all …]
|
D | parametersWithNoAnnotationAreAny.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 27 AssertType(f, "(any) => any"); 30 AssertType(function foo(x) { return x; }, "(any) => any"); 32 AssertType(foo, "(any) => any"); 34 AssertType(x, "any"); 36 AssertType(x, "any"); 40 AssertType(f2, "(any) => any"); 41 AssertType((x) => x, "(any) => any"); [all …]
|
D | nestedRecursiveLambda.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 21 function f(a:any) { 24 AssertType((r =>(r => r)), "(any) => (any) => any"); 25 AssertType(r =>(r => r), "(any) => (any) => any"); 26 AssertType(r, "any"); 27 AssertType((r => r), "(any) => any"); 28 AssertType(r => r, "(any) => any"); 29 AssertType(r, "any"); 30 AssertType(r, "any"); [all …]
|
D | commentsOnPropertyOfObjectLiteral1.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(resolve, "{ id: (any) => any; id1: string; id2: (any) => any; id3: (any) => any; id4: (a… 23 …any) => details.id, id1: /* c1 */ "hello", id2: /*! @ngInject */ (details: any) => de… 25 id: /*! @ngInject */ (details: any) => details.id, 26 AssertType(id, "(any) => any"); 27 AssertType((details: any) => details.id, "(any) => any"); 28 AssertType(details, "any"); 29 AssertType(details.id, "any"); 36 AssertType(id2, "(any) => any"); [all …]
|
D | asyncWithVarShadowing_es6.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 declare const y: any; 23 AssertType(y, "any"); 27 AssertType(x, "any"); 32 AssertType(x, "any"); 33 AssertType(z, "any"); 38 AssertType(z, "any"); 43 AssertType(x, "any"); 44 AssertType(y, "any"); [all …]
|
D | es5-asyncFunctionArrayLiterals.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 29 AssertType(x = [await y, z], "any[]"); 30 AssertType(x, "any"); 31 AssertType([await y, z], "any[]"); 32 AssertType(await y, "any"); [all …]
|
D | methodsReturningThis.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 27 AssertType(Class.prototype.containsError = function () { return this.notPresent; }, "() => any"); 28 AssertType(Class.prototype.containsError, "any"); 29 AssertType(function () { return this.notPresent; }, "() => any"); 36 …totype.m1 = function (a, b, c, d, tx, ty) { return this; }, "(any, any, any, any, any, any) => thi… 37 AssertType(Class.prototype.m1, "any"); 38 AssertType(function (a, b, c, d, tx, ty) { return this; }, "(any, any, any, any, any, any) => this"… 39 AssertType(a, "any"); 40 AssertType(b, "any"); [all …]
|
D | es5-asyncFunctionDoStatements.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(x, "any"); 32 AssertType(y, "any"); [all …]
|
D | es5-asyncFunctionWhileStatements.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(x, "any"); 33 AssertType(y, "any"); [all …]
|
D | es5-asyncFunctionSwitchStatements.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 22 AssertType(x, "any"); 23 AssertType(y, "any"); 24 AssertType(z, "any"); 25 AssertType(a, "any"); 26 AssertType(b, "any"); 27 AssertType(c, "any"); 31 AssertType(x, "any"); 34 AssertType(y, "any"); [all …]
|
D | controlFlowCaching.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 25 AssertType(isRtl, "any"); 26 AssertType(this._isRtl(), "any"); 27 AssertType(this._isRtl, "any"); 28 AssertType(this, "any"); 32 AssertType(o, "any"); 33 AssertType(this.opt, "any"); 34 AssertType(this, "any"); 35 AssertType(ta, "any"); [all …]
|
D | downlevelLetConst17.ts | 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 20 declare function AssertType(value:any, type:string):void; 24 declare function use(a: any); 27 AssertType(x, "any"); 31 AssertType(use(x), "any"); 32 AssertType(use, "(any) => any"); 36 AssertType(use(x), "any"); 37 AssertType(use, "(any) => any"); 38 AssertType(x, "any"); 42 AssertType(use(x), "any"); [all …]
|