| /third_party/typescript/tests/baselines/reference/ |
| D | deeplyNestedConditionalTypes.js | 3 T extends 0 ? '0' : 4 T extends 1 ? '1' : 5 T extends 2 ? '2' : 6 T extends 3 ? '3' : 7 T extends 4 ? '4' : 8 T extends 5 ? '5' : 9 T extends 6 ? '6' : 10 T extends 7 ? '7' : 11 T extends 8 ? '8' : 12 T extends 9 ? '9' : [all …]
|
| D | deeplyNestedConditionalTypes.types | 5 T extends 0 ? '0' : 6 T extends 1 ? '1' : 7 T extends 2 ? '2' : 8 T extends 3 ? '3' : 9 T extends 4 ? '4' : 10 T extends 5 ? '5' : 11 T extends 6 ? '6' : 12 T extends 7 ? '7' : 13 T extends 8 ? '8' : 14 T extends 9 ? '9' : [all …]
|
| D | typeParameterUsedAsConstraint.types | 2 class C<T, U extends T> { } 5 class C2<T extends U, U> { } 8 class C3<T extends Date, U extends T> { } 11 class C4<T extends U, U extends Date> { } 14 class C5<T extends U, U extends V, V> { } 17 class C6<T, U extends T, V extends U> { } 20 interface I<T, U extends T> { } 21 interface I2<T extends U, U> { } 22 interface I3<T extends Date, U extends T> { } 23 interface I4<T extends U, U extends Date> { } [all …]
|
| D | privacyTypeParameterOfFunctionDeclFile.types | 11 new <T extends privateClass>(): privateClass; // Error 12 <T extends privateClass>(): privateClass; // Error 13 myMethod<T extends privateClass>(): privateClass; // Error 14 >myMethod : <T extends privateClass>() => privateClass 18 new <T extends publicClass>(): publicClass; 19 <T extends publicClass>(): publicClass; 20 myMethod<T extends publicClass>(): publicClass; 21 >myMethod : <T extends publicClass>() => publicClass 25 new <T extends privateClass>(): privateClass; 26 <T extends privateClass>(): privateClass; [all …]
|
| D | typeParameterUsedAsTypeParameterConstraint2.types | 5 function foo<T, U extends T>(x: T, y: U) { 6 >foo : <T, U extends T>(x: T, y: U) => void 10 function bar<V extends T, W extends U>() { 11 >bar : <V extends T, W extends U>() => void 13 function baz<X extends W, Y extends V>(a: X, b: Y): T { 14 >baz : <X extends W, Y extends V>(a: X, b: Y) => T 29 function foo2<U extends T, T>(x: T, y: U) { 30 >foo2 : <U extends T, T>(x: T, y: U) => void 34 function bar<V extends T, W extends U>() { 35 >bar : <V extends T, W extends U>() => void [all …]
|
| D | subtypesOfTypeParameterWithConstraints.types | 11 class D1<T extends U, U> extends C3<T> { 22 class D2<T extends U, U> extends C3<U> { 33 class D3<T extends U, U> extends C3<T> { 44 class D4<T extends U, U> extends C3<U> { 59 class D5<T extends U, U extends V, V> extends C3<T> { 70 class D6<T extends U, U extends V, V> extends C3<U> { 81 class D7<T extends U, U extends V, V> extends C3<V> { 94 class D8<T extends U, U extends V, V> extends C3<T> { 105 class D9<T extends U, U extends V, V> extends C3<U> { 116 class D10<T extends U, U extends V, V> extends C3<V> { [all …]
|
| D | typeParameterUsedAsTypeParameterConstraint4.types | 5 class C<T, U extends T, V extends U> { 11 foo<W extends V>(x: W): T { 12 >foo : <W extends V>(x: W) => T 23 interface I<T, U extends T, V extends U> { 33 foo<W extends V>(x: W): T; 34 >foo : <W extends V>(x: W) => T 38 function foo<T, U extends T>(x: T, y: U): V { // error 39 >foo : <T, U extends T>(x: T, y: U) => any 43 function bar<V extends T, W extends U>(): X { // error 44 >bar : <V extends T, W extends U>() => any [all …]
|
| D | deeplyNestedConditionalTypes.symbols | 6 T extends 0 ? '0' : 9 T extends 1 ? '1' : 12 T extends 2 ? '2' : 15 T extends 3 ? '3' : 18 T extends 4 ? '4' : 21 T extends 5 ? '5' : 24 T extends 6 ? '6' : 27 T extends 7 ? '7' : 30 T extends 8 ? '8' : 33 T extends 9 ? '9' : [all …]
|
| D | genericCallWithConstraintsTypeArgumentInference.types | 8 class Derived extends Base { bar: string; } 13 class Derived2 extends Derived { baz: string; } 27 function foo<T extends Base>(t: T) { 28 >foo : <T extends Base>(t: T) => T 38 >foo : <T extends Base>(t: T) => T 44 >foo : <T extends Base>(t: T) => T 47 function foo2<T extends Base, U extends Derived>(t: T, u: U) { 48 >foo2 : <T extends Base, U extends Derived>(t: T, u: U) => U 56 function foo2b<T extends Base, U extends Derived>(u: U) { 57 >foo2b : <T extends Base, U extends Derived>(u: U) => T [all …]
|
| D | typeParameterUsedAsConstraint.js | 2 class C<T, U extends T> { } 3 class C2<T extends U, U> { } 4 class C3<T extends Date, U extends T> { } 5 class C4<T extends U, U extends Date> { } 6 class C5<T extends U, U extends V, V> { } 7 class C6<T, U extends T, V extends U> { } 9 interface I<T, U extends T> { } 10 interface I2<T extends U, U> { } 11 interface I3<T extends Date, U extends T> { } 12 interface I4<T extends U, U extends Date> { } [all …]
|
| D | privacyTypeParameterOfFunction.types | 12 new <T extends privateClass>(): privateClass; 15 <T extends privateClass>(): privateClass; 18 myMethod<T extends privateClass>(): privateClass; 19 >myMethod : <T extends privateClass>() => privateClass 23 new <T extends publicClass>(): publicClass; 24 <T extends publicClass>(): publicClass; 25 myMethod<T extends publicClass>(): publicClass; 26 >myMethod : <T extends publicClass>() => publicClass 30 new <T extends privateClass>(): privateClass; 31 <T extends privateClass>(): privateClass; [all …]
|
| D | ramdaToolsNoInfinite.js | 6 type Head<T extends any[]> = 7 T extends [any, ...any[]] 11 type Tail<T extends any[]> = 12 ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any) 16 type HasTail<T extends any[]> = 17 T extends ([] | [any]) 21 type Last<T extends any[]> = { 25 HasTail<T> extends true 30 type Length<T extends any[]> = 33 type Prepend<E, T extends any[]> = [all …]
|
| D | privacyTypeParameterOfFunctionDeclFile.js | 9 new <T extends privateClass>(): privateClass; // Error 10 <T extends privateClass>(): privateClass; // Error 11 myMethod<T extends privateClass>(): privateClass; // Error 15 new <T extends publicClass>(): publicClass; 16 <T extends publicClass>(): publicClass; 17 myMethod<T extends publicClass>(): publicClass; 21 new <T extends privateClass>(): privateClass; 22 <T extends privateClass>(): privateClass; 23 myMethod<T extends privateClass>(): privateClass; 27 new <T extends publicClass>(): publicClass; [all …]
|
| D | privacyInterfaceExtendsClauseDeclFile.js | 11 …interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPublicModul… 13 …interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPublicMod… 15 …export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPubli… 17 …export interface publicInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPub… 20 …interface privateInterfaceImplementingFromPrivateModuleInterface extends privateModule.publicInter… 22 …export interface publicInterfaceImplementingFromPrivateModuleInterface extends privateModule.publi… 25 …export interface publicInterfaceImplementingPrivateAndPublicInterface extends privateInterfaceInPu… 37 …interface privateInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPrivateModu… 39 …interface privateInterfaceImplementingPrivateInterfaceInModule extends privateInterfaceInPrivateMo… 41 …export interface publicInterfaceImplementingPublicInterfaceInModule extends publicInterfaceInPriva… [all …]
|
| D | typeParameterIndirectlyConstrainedToItself.types | 2 class C<U extends T, T extends U> { } 5 class C2<T extends U, U extends V, V extends T> { } 8 interface I<U extends T, T extends U> { } 9 interface I2<T extends U, U extends V, V extends T> { } 11 function f<U extends T, T extends U>() { } 14 function f2<T extends U, U extends V, V extends T>() { } 20 <U extends T, T extends U>(): void; 21 <T extends U, U extends V, V extends T>(): void; 24 var b = <U extends T, T extends U>() => { } 26 ><U extends T, T extends U>() => { } : <U, T>() => void [all …]
|
| D | deepKeysIndexing.types | 16 O extends DeepObject, 17 K1 extends keyof O 18 > = O[K1] extends object ? Extract<keyof O[K1], string> : never; 23 O extends DeepObject, 24 K1 extends keyof O 25 > = O[K1] extends object ? keyof O[K1] : never; 27 type keys2workaround<O extends DeepObject, K1 extends keyof O> = Extract< 30 O[K1] extends object ? keyof O[K1] : never, 34 interface Foo extends DeepObject { 50 class Bar<O extends DeepObject> { [all …]
|
| D | subtypesOfTypeParameterWithConstraints.js | 8 class D1<T extends U, U> extends C3<T> { 13 class D2<T extends U, U> extends C3<U> { 18 class D3<T extends U, U> extends C3<T> { 23 class D4<T extends U, U> extends C3<U> { 32 class D5<T extends U, U extends V, V> extends C3<T> { 37 class D6<T extends U, U extends V, V> extends C3<U> { 42 class D7<T extends U, U extends V, V> extends C3<V> { 49 class D8<T extends U, U extends V, V> extends C3<T> { 54 class D9<T extends U, U extends V, V> extends C3<U> { 59 class D10<T extends U, U extends V, V> extends C3<V> { [all …]
|
| D | propertyAccessOnTypeParameterWithConstraints2.types | 12 class B extends A { 24 class C<U extends A, T extends A> { 69 //class C<U extends T, T extends A> { 102 interface I<U extends A, T extends A> { 106 //interface I<U extends T, T extends A> { 131 >a : { <U extends A, T extends A>(): U; <U extends A, T extends A>(x: U): U; <U extends A, T extend… 133 <U extends A, T extends A>(): U; 134 <U extends A, T extends A>(x: U): U; 137 <U extends A, T extends A>(x: U, y: T): U; 142 // <U extends T, T extends A>(): U; [all …]
|
| /third_party/typescript/tests/cases/compiler/ |
| D | deeplyNestedConditionalTypes.ts | 5 T extends 0 ? '0' : 6 T extends 1 ? '1' : 7 T extends 2 ? '2' : 8 T extends 3 ? '3' : 9 T extends 4 ? '4' : 10 T extends 5 ? '5' : 11 T extends 6 ? '6' : 12 T extends 7 ? '7' : 13 T extends 8 ? '8' : 14 T extends 9 ? '9' : [all …]
|
| D | privacyTypeParameterOfFunctionDeclFile.ts | 10 new <T extends privateClass>(): privateClass; // Error 11 <T extends privateClass>(): privateClass; // Error 12 myMethod<T extends privateClass>(): privateClass; // Error 16 new <T extends publicClass>(): publicClass; 17 <T extends publicClass>(): publicClass; 18 myMethod<T extends publicClass>(): publicClass; 22 new <T extends privateClass>(): privateClass; 23 <T extends privateClass>(): privateClass; 24 myMethod<T extends privateClass>(): privateClass; 28 new <T extends publicClass>(): publicClass; [all …]
|
| D | ramdaToolsNoInfinite.ts | 6 type Head<T extends any[]> = 7 T extends [any, ...any[]] 11 type Tail<T extends any[]> = 12 ((...t: T) => any) extends ((_: any, ...tail: infer TT) => any) 16 type HasTail<T extends any[]> = 17 T extends ([] | [any]) 21 type Last<T extends any[]> = { 25 HasTail<T> extends true 30 type Length<T extends any[]> = 33 type Prepend<E, T extends any[]> = [all …]
|
| /third_party/typescript/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/ |
| D | subtypesOfTypeParameterWithConstraints.ts | 7 class D1<T extends U, U> extends C3<T> { 12 class D2<T extends U, U> extends C3<U> { 17 class D3<T extends U, U> extends C3<T> { 22 class D4<T extends U, U> extends C3<U> { 31 class D5<T extends U, U extends V, V> extends C3<T> { 36 class D6<T extends U, U extends V, V> extends C3<U> { 41 class D7<T extends U, U extends V, V> extends C3<V> { 48 class D8<T extends U, U extends V, V> extends C3<T> { 53 class D9<T extends U, U extends V, V> extends C3<U> { 58 class D10<T extends U, U extends V, V> extends C3<V> { [all …]
|
| D | subtypesOfTypeParameterWithRecursiveConstraints.ts | 4 function f<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>>(t: T, u: U, v: V) { 61 class D1<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<T> { 66 class D2<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<T> { 71 class D3<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<T> { 76 class D4<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<U> { 81 class D5<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<U> { 86 class D6<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<U> { 91 class D7<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<V> { 96 class D8<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<V> { 101 class D9<T extends Foo<U>, U extends Foo<T>, V extends Foo<V>> extends Base<V> { [all …]
|
| /third_party/typescript/tests/cases/conformance/types/typeParameters/typeParameterLists/ |
| D | typeParameterUsedAsConstraint.ts | 1 class C<T, U extends T> { } 2 class C2<T extends U, U> { } 3 class C3<T extends Date, U extends T> { } 4 class C4<T extends U, U extends Date> { } 5 class C5<T extends U, U extends V, V> { } 6 class C6<T, U extends T, V extends U> { } 8 interface I<T, U extends T> { } 9 interface I2<T extends U, U> { } 10 interface I3<T extends Date, U extends T> { } 11 interface I4<T extends U, U extends Date> { } [all …]
|
| D | typeParameterIndirectlyConstrainedToItself.ts | 1 class C<U extends T, T extends U> { } 2 class C2<T extends U, U extends V, V extends T> { } 4 interface I<U extends T, T extends U> { } 5 interface I2<T extends U, U extends V, V extends T> { } 7 function f<U extends T, T extends U>() { } 8 function f2<T extends U, U extends V, V extends T>() { } 11 <U extends T, T extends U>(): void; 12 <T extends U, U extends V, V extends T>(): void; 15 var b = <U extends T, T extends U>() => { } 16 var b2 = <T extends U, U extends V, V extends T>() => { } [all …]
|