| /arkcompiler/runtime_core/libark_defect_scan_aux/tests/ |
| D | test_helper.h | 24 template <typename T1, typename T2>
25 inline static void ExpectEqual(const T1 &left, const T2 &right) in ExpectEqual()
33 template <typename T1, typename T2>
34 inline static void ExpectNotEqual(const T1 &left, const T2 &right) in ExpectNotEqual()
36 if (left == static_cast<T2>(right)) { in ExpectNotEqual()
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | ramdaToolsNoInfinite.ts | 96 type Concat<T1 extends any[], T2 extends any[]> =
97 Reverse<Reverse<T1> extends infer R ? Cast<R, any[]> : never, T2>;
110 type GapOf<T1 extends any[], T2 extends any[], TN extends any[], I extends any[]> =
112 ? Tools.Append<T2[Tools.Pos<I>], TN>
115 …interface GapsOfWorker<T1 extends any[], T2 extends any[], TN extends any[] = [], I extends any[] …
116 …0: GapsOf<T1, T2, GapOf<T1, T2, TN, I> extends infer G ? Tools.Cast<G, any[]> : never, Tools.Next<…
117 … 1: Tools.Concat<TN, Tools.Drop<Tools.Pos<I>, T2> extends infer D ? Tools.Cast<D, any[]> : never>;
119 …type GapsOf<T1 extends any[], T2 extends any[], TN extends any[] = [], I extends any[] = []> = Gap…
|
| D | promiseVoidErrorCallback.ts | 25 interface T2 { interface
42 function f2(x: T1): T2 {
54 AssertType(f1() .then(f2, (e: Error) => { throw e;}) .then((x: T2) => { return { __t3: …
61 .then((x: T2) => {
63 AssertType((x: T2) => { return { __t3: x.__t2 + "bar" };}, "(T2) => { __t3: string; }");
|
| D | tupleTypeInference.ts | 25 all<T1, T2, T3>(x: [IPromise<T1>, IPromise<T2>, IPromise<T3>]): IPromise<[T1, T2, T3]>;
26 all<T1, T2>(x: [IPromise<T1>, IPromise<T2>]): IPromise<[T1, T2]>;
|
| D | subtypingWithObjectMembersOptionality.ts | 43 interface T2 { interface
47 interface S2 extends T2 {
87 interface T2 { interface
91 interface S2 extends T2 {
|
| D | assignmentCompatWithObjectMembers.ts | 32 interface T2 { foo: string; }
34 let t2: T2;
73 interface T2 { foo: T2; } interface
75 let t2: T2;
|
| D | circularTypeAliasForUnionWithInterface.ts | 37 let v2: T2;
40 type T2 = string | I2; alias
42 new (): T2;
|
| D | privacyCheckOnTypeParameterReferenceInConstructorParameter.ts | 31 export class B<T2> {
32 constructor(parent: T2) { }
|
| D | overloadsAndTypeArgumentArity.ts | 23 declare function Callbacks<T1, T2>(flags?: string): void;
24 declare function Callbacks<T1, T2, T3>(flags?: string): void;
|
| D | inferenceErasedSignatures.ts | 51 interface BaseType<T1, T2> {
54 useT2(r?: T2): void;
74 type T2 = GetT1<StructuralVersion>; // number alias
|
| D | keyofInferenceLowerPriorityThanReturn.ts | 34 type MakeTable<T1 extends object, T2 extends object> = {
37 [P in keyof T2]: Col<Write, T2[P]>;
|
| D | superCallParameterContextualTyping1.ts | 21 class A<T1, T2> {
22 constructor(private map: (value: T1) => T2) {
|
| D | genericClassesInModule2.ts | 44 export class B<T2> {
45 constructor(public parent: T2) { }
|
| D | baseTypeWrappingInstantiationChain.ts | 25 class CBase<T2> extends CBaseBase<Wrapper<T2>> {
|
| D | typeInferenceWithTupleType.ts | 117 declare function f1<T1, T2>(values: [T1[], T2[]]): T1;
118 declare function f2<T1, T2>(values: readonly [T1[], T2[]]): T1;
|
| D | subtypingWithObjectMembersOptionality4.ts | 34 interface T2 { interface
38 interface S2 extends T2 {
|
| D | subtypingWithObjectMembersOptionality3.ts | 34 interface T2 { interface
38 interface S2 extends T2 {
|
| D | assignmentCompatWithObjectMembers3.ts | 25 class T implements T2 { foo: string; }
33 interface T2 { foo: string; baz?: string } interface
37 let t2: T2;
62 let b2: T2 = { foo: '' };
|
| D | identityRelationNeverTypes.ts | 48 type T2 = Equals<never, never>; // true
49 AssertType(T2, "boolean");
|
| D | genericInstantiationEquivalentToObjectLiteral.ts | 21 interface Pair<T1, T2> { first: T1; second: T2; }
|
| D | typeAliases.ts | 30 type T2 = string;
34 let x2: T2;
111 declare function foo13<T1 extends I13, T2 extends T13>(t1: T1, t2: T13): void;
|
| /arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/generics_multiple/ |
| D | generics_multiple.ts | 19 class Test<T1, T2, T3, T4> {
21 value2:T2;
24 constructor(value1:T1, value2:T2, value3:T3, value4:T4){
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/dynamicNames/ |
| D | module.ts | 39 export declare class T1 implements T2 {
44 export declare class T2 extends T1 { class
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/ |
| D | test-ts-mapped-type.ts | 18 type Type2<T2> = { +readonly [prop in keyof T2]+?: boolean; };
|
| /arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/type_alias/ |
| D | type_alias.ts | 26 type T2 = Test; alias
27 let inst:T2 = {value: 123, flag: true};
|