Home
last modified time | relevance | path

Searched full:extends (Results 1 – 25 of 7958) sorted by relevance

12345678910>>...319

/third_party/typescript/tests/baselines/reference/
DdeeplyNestedConditionalTypes.js3 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 …]
DtemplateLiteralTypes4.js3 type TNumber0 = "100" extends `${infer N extends number}` ? N : never; // 100
4 type TNumber1 = "-100" extends `${infer N extends number}` ? N : never; // -100
5 type TNumber2 = "1.1" extends `${infer N extends number}` ? N : never; // 1.1
6 type TNumber3 = "8e-11" extends `${infer N extends number}` ? N : never; // 8e-11 (0.00000000008)
7 type TNumber4 = "0x10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
8 type TNumber5 = "0o10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
9 type TNumber6 = "0b10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
10 type TNumber7 = "10e2" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
11 type TNumber8 = "abcd" extends `${infer N extends number}` ? N : never; // never
14 type TBigInt0 = "100" extends `${infer N extends bigint}` ? N : never; // 100n
[all …]
DrecursiveConditionalCrash3.types11 export type CanBeExpanded<T extends object = object, D = string> = {
25 interface User extends Base {
36 interface Role extends Base {
48 interface X extends Base {
65 type Join<K, P> = K extends string | number ?
68 P extends string | number ?
69 `${K}${"" extends P ? "" : "."}${P}`
72 type PrefixWith<P, S, C = '.'> = P extends '' ? `${string & S}` : `${string & P}${string & C}${stri…
75 type SplitWithAllPossibleCombinations<S extends string, D extends string> =
78 string extends S ? string :
[all …]
DdeeplyNestedConditionalTypes.types5 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 …]
DtypeParameterUsedAsConstraint.types2 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 …]
DtemplateLiteralTypes4.errors.txt7 type TNumber0 = "100" extends `${infer N extends number}` ? N : never; // 100
8 type TNumber1 = "-100" extends `${infer N extends number}` ? N : never; // -100
9 type TNumber2 = "1.1" extends `${infer N extends number}` ? N : never; // 1.1
10 … type TNumber3 = "8e-11" extends `${infer N extends number}` ? N : never; // 8e-11 (0.00000000008)
11 …type TNumber4 = "0x10" extends `${infer N extends number}` ? N : never; // number (not round-tripp…
12 …type TNumber5 = "0o10" extends `${infer N extends number}` ? N : never; // number (not round-tripp…
13 …type TNumber6 = "0b10" extends `${infer N extends number}` ? N : never; // number (not round-tripp…
14 …type TNumber7 = "10e2" extends `${infer N extends number}` ? N : never; // number (not round-tripp…
15 type TNumber8 = "abcd" extends `${infer N extends number}` ? N : never; // never
18 type TBigInt0 = "100" extends `${infer N extends bigint}` ? N : never; // 100n
[all …]
DprivacyTypeParameterOfFunctionDeclFile.types11 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 …]
DtypeParameterUsedAsTypeParameterConstraint2.types5 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 …]
DinferTypesWithExtends1.js3 type X1<T extends any[]> =
4 T extends [infer U extends string] ? ["string", U] :
5 T extends [infer U extends number] ? ["number", U] :
13 type X2<T extends (...args: any[]) => void> =
14 T extends (a: infer U extends string) => void ? ["string", U] :
15 T extends (a: infer U extends number) => void ? ["number", U] :
23 type X3<T extends (...args: any[]) => any> =
24 T extends (...args: any[]) => (infer U extends string) ? ["string", U] :
25 T extends (...args: any[]) => (infer U extends number) ? ["number", U] :
33 type X4<T extends new (...args: any[]) => any> =
[all …]
DtemplateLiteralTypes4.types3 type TNumber0 = "100" extends `${infer N extends number}` ? N : never; // 100
6 type TNumber1 = "-100" extends `${infer N extends number}` ? N : never; // -100
9 type TNumber2 = "1.1" extends `${infer N extends number}` ? N : never; // 1.1
12 type TNumber3 = "8e-11" extends `${infer N extends number}` ? N : never; // 8e-11 (0.00000000008)
15 type TNumber4 = "0x10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
18 type TNumber5 = "0o10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
21 type TNumber6 = "0b10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
24 type TNumber7 = "10e2" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
27 type TNumber8 = "abcd" extends `${infer N extends number}` ? N : never; // never
31 type TBigInt0 = "100" extends `${infer N extends bigint}` ? N : never; // 100n
[all …]
DsubtypesOfTypeParameterWithConstraints.types11 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 …]
DtypeParameterUsedAsTypeParameterConstraint4.types5 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) => V
43 function bar<V extends T, W extends U>(): X { // error
44 >bar : <V extends T, W extends U>() => X
[all …]
DdeeplyNestedConditionalTypes.symbols6 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 …]
DgenericCallWithConstraintsTypeArgumentInference.types8 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 …]
DramdaToolsNoInfinite2.js3 import { Extends } from "Any/Extends";
6 …extends any> = Extends<A, Function> extends 1 ? 'function' : Extends<A, List> extends 1 ? 'array' …
9 export type Compute<A extends any> = A extends Function ? A : {
16 type __Pick<O extends object, K extends keyof O> = {
20 export type _Pick<O extends object, K extends Key> = __Pick<O, keyof O & K>;
22 …export type Pick<O extends object, K extends Key> = O extends unknown ? _Pick<O, K & keyof O> : ne…
27 export type Keys<O extends object> = UKeys<O>;
34 export type _Omit<O extends object, K extends Key> = _Pick<O, Exclude<Keys<O>, K>>;
36 export type Omit<O extends object, K extends Key> = O extends unknown ? _Omit<O, K> : never;
42 …type AtStrict<O extends object, K extends Key> = [K & keyof O] extends [never] ? never : O[K & key…
[all …]
DtypeParameterUsedAsConstraint.js2 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 …]
DprivacyTypeParameterOfFunctionDeclFile.js9 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 …]
/third_party/typescript/tests/cases/compiler/
DdeeplyNestedConditionalTypes.ts5 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 …]
DprivacyTypeParameterOfFunctionDeclFile.ts10 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 …]
DramdaToolsNoInfinite2.ts3 import { Extends } from "Any/Extends";
6 …extends any> = Extends<A, Function> extends 1 ? 'function' : Extends<A, List> extends 1 ? 'array' …
9 export type Compute<A extends any> = A extends Function ? A : {
16 type __Pick<O extends object, K extends keyof O> = {
20 export type _Pick<O extends object, K extends Key> = __Pick<O, keyof O & K>;
22 …export type Pick<O extends object, K extends Key> = O extends unknown ? _Pick<O, K & keyof O> : ne…
27 export type Keys<O extends object> = UKeys<O>;
34 export type _Omit<O extends object, K extends Key> = _Pick<O, Exclude<Keys<O>, K>>;
36 export type Omit<O extends object, K extends Key> = O extends unknown ? _Omit<O, K> : never;
42 …type AtStrict<O extends object, K extends Key> = [K & keyof O] extends [never] ? never : O[K & key…
[all …]
/third_party/typescript/tests/cases/conformance/types/typeRelationships/subtypesAndSuperTypes/
DsubtypesOfTypeParameterWithConstraints.ts7 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 …]
DsubtypesOfTypeParameterWithRecursiveConstraints.ts4 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/literal/
DtemplateLiteralTypes4.ts6 type TNumber0 = "100" extends `${infer N extends number}` ? N : never; // 100
7 type TNumber1 = "-100" extends `${infer N extends number}` ? N : never; // -100
8 type TNumber2 = "1.1" extends `${infer N extends number}` ? N : never; // 1.1
9 type TNumber3 = "8e-11" extends `${infer N extends number}` ? N : never; // 8e-11 (0.00000000008)
10 type TNumber4 = "0x10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
11 type TNumber5 = "0o10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
12 type TNumber6 = "0b10" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
13 type TNumber7 = "10e2" extends `${infer N extends number}` ? N : never; // number (not round-trippa…
14 type TNumber8 = "abcd" extends `${infer N extends number}` ? N : never; // never
17 type TBigInt0 = "100" extends `${infer N extends bigint}` ? N : never; // 100n
[all …]
/third_party/typescript/tests/cases/conformance/types/typeParameters/typeParameterLists/
DtypeParameterUsedAsConstraint.ts1 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 …]
/third_party/typescript/tests/cases/conformance/types/conditional/
DinferTypesWithExtends1.ts5 type X1<T extends any[]> =
6 T extends [infer U extends string] ? ["string", U] :
7 T extends [infer U extends number] ? ["number", U] :
15 type X2<T extends (...args: any[]) => void> =
16 T extends (a: infer U extends string) => void ? ["string", U] :
17 T extends (a: infer U extends number) => void ? ["number", U] :
25 type X3<T extends (...args: any[]) => any> =
26 T extends (...args: any[]) => (infer U extends string) ? ["string", U] :
27 T extends (...args: any[]) => (infer U extends number) ? ["number", U] :
35 type X4<T extends new (...args: any[]) => any> =
[all …]

12345678910>>...319