| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | interfaceExtendsObjectIntersection.ts | 22 type T1 = { a: number };
23 type T2 = T1 & { b: number };
30 interface I1 extends T1 { x: string }
66 interface I20 extends Partial<T1> { x: string }
67 interface I21 extends Readonly<T1> { x: string }
68 interface I22 extends Identifiable<T1> { x: string }
69 interface I23 extends Identifiable<T1 & { b: number}> { x: string }
71 class C20 extends Constructor<Partial<T1>>() { x: string }
72 class C21 extends Constructor<Readonly<T1>>() { x: string }
73 class C22 extends Constructor<Identifiable<T1>>() { x: string }
[all …]
|
| D | genericClassesInModule2.ts | 21 export class A<T1>{
22 constructor( public callback: (self: A<T1>) => void) {
29 AAA( callback: (self: A<T1>) => void) {
38 export interface C<T1>{
39 child: B<T1>;
40 (self: C<T1>): void;
41 new(callback: (self: C<T1>) => void)
|
| D | baseTypeWrappingInstantiationChain.ts | 37 class C<T1> extends CBase<T1> {
39 new CBaseBase<Wrapper<T1>>(this);
40 AssertType(new CBaseBase<Wrapper<T1>>(this), "CBaseBase<Wrapper<T1>>");
45 new CBase<T1>(this); // Should not error, parameter is of type Parameter<Wrapper<T1>>
46 AssertType(new CBase<T1>(this), "CBase<T1>");
51 public method(t: Wrapper<T1>) { }
|
| D | mappedTypes1.ts | 51 declare function f1<T1>(): { [P in keyof T1]: void };
52 declare function f2<T1 extends string>(): { [P in keyof T1]: void };
53 declare function f3<T1 extends number>(): { [P in keyof T1]: void };
54 declare function f4<T1 extends Number>(): { [P in keyof T1]: void };
|
| 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]>;
27 all<T1>(x: [IPromise<T1>]): IPromise<[T1]>;
|
| 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[]> =
111 T1[Tools.Pos<I>] extends R.Placeholder
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<…
119 …type GapsOf<T1 extends any[], T2 extends any[], TN extends any[] = [], I extends any[] = []> = Gap…
120 Tools.Pos<I> extends Tools.Length<T1>
|
| D | circularTypeAliasForUnionWithInterface.ts | 29 let v1: T1;
32 type T1 = string | I1; alias
34 (): T1;
|
| 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 | privacyCheckOnTypeParameterReferenceInConstructorParameter.ts | 21 export class A<T1>{
22 constructor(callback: (self: A<T1>) => void) {
|
| 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> {
53 useT1(c: T1): void;
73 type T1 = GetT1<InheritedType>; // number alias
|
| D | promiseVoidErrorCallback.ts | 21 interface T1 {
33 function f1(): Promise<T1> {
42 function f2(x: T1): T2 {
|
| D | keyofInferenceLowerPriorityThanReturn.ts | 34 type MakeTable<T1 extends object, T2 extends object> = {
35 [P in keyof T1]: Col<Write, T1[P]>;
|
| D | arrayConcat3.ts | 23 function doStuff<T extends object, T1 extends T>(a: Array<Fn<T>>, b: Array<Fn<T1>>) {
|
| D | superCallParameterContextualTyping1.ts | 21 class A<T1, T2> {
22 constructor(private map: (value: T1) => T2) {
|
| D | typeAliases.ts | 23 type T1 = number;
27 let x1: T1;
111 declare function foo13<T1 extends I13, T2 extends T13>(t1: T1, t2: T13): void;
|
| D | restParameterAssignmentCompatibility.ts | 46 class T1 { class
51 let t1: T1;
|
| D | inferFromBindingPattern.ts | 92 declare function makeTuple<T1>(arg: T1): [T1];
|
| D | identityRelationNeverTypes.ts | 44 type T1 = Equals<typeof state, never>; // true
45 AssertType(T1, "boolean");
|
| D | mappedTypeAndIndexSignatureRelation.ts | 24 type T1<T extends Record<PropertyKey, number>> = T; alias
25 type T2<U extends Record<PropertyKey, number>> = T1<Same<U>>;
|
| /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()
27 if (left != static_cast<T1>(right)) { in ExpectEqual()
33 template <typename T1, typename T2>
34 inline static void ExpectNotEqual(const T1 &left, const T2 &right) in ExpectNotEqual()
|
| /arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/generics_multiple/ |
| D | generics_multiple.ts | 19 class Test<T1, T2, T3, T4> {
20 value1:T1;
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 { class
44 export declare class T2 extends T1 {
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/ |
| D | test-ts-mapped-type.ts | 17 type Type1<T1> = { -readonly [prop in keyof T1]-?: boolean; };
|
| /arkcompiler/ets_runtime/test/typeinfer/es2abc_feature/type_alias/ |
| D | type_alias.ts | 18 type T1 = string;
19 let a:T1 = "AOT";
|