/third_party/typescript/tests/baselines/reference/ |
H A D | neverUnionIntersection.js | 2 type T01 = string | never; 3 type T02 = string & never; 4 type T03 = string | number | never; 5 type T04 = string & number & never; 6 type T05 = any | never; 7 type T06 = any & never; 8 type T07 = undefined | never; 9 type T08 = undefined & never; 10 type T09 = null | never; 11 type T10 = null & never; [all...] |
H A D | conditionalTypesSimplifyWhenTrivial.js | 3 params: Pick<Params, Exclude<keyof Params, never>>, 6 function fn2<T>(x: Exclude<T, never>) { 22 type ExtractWithDefault<T, U, D = never> = T extends U ? T : D; 24 type ExcludeWithDefault<T, U, D = never> = T extends U ? D : T; 27 params: Pick<Params, ExcludeWithDefault<keyof Params, never>>, 30 function fn6<T>(x: ExcludeWithDefault<T, never>) { 47 params: Pick<Params, TemplatedConditional<keyof Params, never, never, keyof Params>>, 50 function fn10<T>(x: TemplatedConditional<T, never, never, [all...] |
H A D | neverType.js | 2 function error(message: string): never { 26 function infiniteLoop2(): never { 38 return error("Should never get here"); 44 error("Should never get here"); 58 never1(): never { 61 never2(): never { 68 x; // never 75 return x; // never 124 return error("Should never get here");
129 error("Should never ge [all...] |
H A D | conditionalTypes1.js | 44 type T15 = Extract<Options, { q: "a" }>; // never 67 type T22 = TypeName<never>; // never 94 type FunctionPropertyNames<T> = { [K in keyof T]: T[K] extends Function ? K : never }[keyof T]; 97 type NonFunctionPropertyNames<T> = { [K in keyof T]: T[K] extends Function ? never : K }[keyof T]; 165 type T36<T> = T extends { a: string } ? T extends { b: number } ? T35<T> : never : never; 166 type T37<T> = T extends { b: number } ? T extends { a: string } ? T35<T> : never : never; 167 type T38<T> = [T] extends [{ a: string }] ? [T] extends [{ b: number }] ? T35<T> : never [all...] |
H A D | inferTypes2.js | 4 export declare function foo<T>(obj: T): T extends () => infer P ? P : never; 11 export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer P>]: BadNested<infer P>[K] } ? P : never; 18 type Weird = any extends infer U ? U : never; 19 type AlsoWeird = unknown extends infer U ? U : never; 43 export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
44 export declare function bar<T>(obj: T): T extends () => infer P ? P : never;
50 } ? P : never;
53 } ? P : never;
|
H A D | discriminantsAndNullOrUndefined.js | 9 function never(_: never): never { 22 default: never(c); 28 function never(_) {
function 41 default: never(c);
|
H A D | mappedTypeAsClauses.js | 22 type Methods<T> = { [P in keyof T as T[P] extends Function ? P : never]: T[P] }; 51 [K in keyof T as T[K] extends U ? K : never]: T[K] 81 type OnlyPrimitives<T> = { [K in keyof T as T[K] extends Primitive ? K : never]: T[K] }; 96 type GetKey<S, V> = keyof { [TP in keyof S as Equal<S[TP], V> extends true ? TP : never]: any }; 98 type GetKeyWithIf<S, V> = keyof { [TP in keyof S as If<Equal<S[TP], V>, TP, never>]: any }; 100 type GetObjWithIf<S, V> = { [TP in keyof S as If<Equal<S[TP], V>, TP, never>]: any }; 120 type KeysExtendedBy<T, U> = keyof { [K in keyof T as U extends T[K] ? K : never] : T[K] }; 143 type TS6<T, U, V> = keyof { [ K in keyof T as V & (K extends U ? K : never)]: string }; 147 type TN0<T> = keyof { [P in keyof T as T[P] extends number ? P : never]: string }; 148 type TN1<T> = keyof { [P in keyof T as number extends T[P] ? P : never] [all...] |
H A D | inferTypesWithExtends1.js | 6 never; 10 type X1_T3 = X1<[object]>; // never 16 never; 20 type X2_T3 = X2<(a: object) => void>; // never 26 never; 30 type X3_T3 = X3<() => object>; // never 36 never; 40 type X4_T3 = X4<new () => { a: object }>; // never 46 never; 50 type X5_T3 = X5<Promise<1n | 2n>>; // never [all...] |
H A D | recursiveConditionalCrash3.js | 44 : never : never; 59 type KeysCanBeExpanded_<T, N extends number, Depth extends number[]> = N extends Depth['length'] ? never : 70 : never 71 : never 75 never 101 type AllKeys<T, N extends number = 4> = KeysCanBeExpanded<T, N> extends infer R ? R : never 111 export type Expand<T extends object, K extends AllKeys<T, N> = never, N extends number = 4> = Expand_<T, K, N> 135 type UseQueryOptions3<T , K > = Expand_<T, K> extends infer O ? O : never 137 type ExpandResult<T,K> = Expand_<T, K> extends infer O ? O : never [all...] |
H A D | strictFunctionTypes1.js | 19 declare const never: never; 21 const x10 = f2(never, fo, fs); // string 22 const x11 = f3(never, fo, fx); // "def" 27 let x = foo([]); // never 44 const t3: A = coAndContra(never, acceptA); 59 var x10 = f2(never, fo, fs); // string
60 var x11 = f3(never, fo, fx); // "def"
61 var x = foo([]); // never
64 var t3 = coAndContra(never, accept [all...] |
H A D | indexingTypesWithNever.js | 7 // Should be never but without an error 8 type Result1 = TestObj[never]; 12 // Should be never but without an error 15 declare function genericFn1<T>(obj: T): T[never]; 17 // Should be never 22 ): T[never]; 24 // Should be never 33 // Should be never 34 const result5 = genericFn3({ g: "gtest", h: "htest" }, "g", "h"); // 'g' & 'h' will reduce to never 38 declare const key: never [all...] |
H A D | inferTypes1.js | 14 type T06 = Unpacked<never>; // never 36 type T16 = ReturnType<never>; // never 43 type U12 = InstanceType<never>; // never 59 type T27 = ArgumentType<never>; // never 67 type X2<T> = T extends { a: infer U, b: infer U } ? U : never; 69 type T40 = X2<{}>; // never [all...] |
H A D | ramdaToolsNoInfinite2.js | 22 export type Pick<O extends object, K extends Key> = O extends unknown ? _Pick<O, K & keyof O> : never; 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 & keyof O]; 44 type AtLoose<O extends object, K extends Key> = O extends unknown ? AtStrict<O, K> : never; 79 export type Exclude<U extends Union, M extends Union> = U extends M ? never : U; 100 export type Keys<U extends Union> = (U extends unknown ? keyof U : never) & Key; 110 export type ObjectOf<L extends object> = L extends unknown ? _ObjectOf<L> : never; 130 } & {} : never : O); 159 }[Extends<[K], [never]>]; [all...] |
H A D | neverTypeErrors1.js | 3 let x: never; 13 function f2(): never { 17 function f3(): never { 21 function f4(): never { 28 let x: never[] = []; // Ok
|
H A D | neverTypeErrors2.js | 3 let x: never; 13 function f2(): never { 17 function f3(): never { 21 function f4(): never { 28 let x: never[] = []; // Ok
|
H A D | mappedTypeAsClauseRelationships.js | 3 type Methods<T> = { [P in keyof T as T[P] extends Function ? P : never]: T[P] }; 7 type Filter<T> = { [P in keyof T as T[P] extends Function ? P : never]: T[P] }; 16 type FilterInclOpt<T> = { [P in keyof T as T[P] extends Function ? P : never]+?: T[P] }; 17 type ModifyInclOpt<T> = { [P in keyof T as P extends string? `bool${P}`: never ]+?: T[P] }; 18 type FilterExclOpt<T> = { [P in keyof T as T[P] extends Function ? P : never]-?: T[P] }; 19 type ModifyExclOpt<T> = { [P in keyof T as P extends string? `bool${P}`: never ]-?: T[P] };
|
H A D | declarationEmitInlinedDistributiveConditional.js | 18 export type PublicKeys1<T> = T extends `_${string}` ? never : T; 19 type PublicKeys2<T> = T extends `_${string}` ? never : T;
50 export type PublicKeys1<T> = T extends `_${string}` ? never : T;
51 type PublicKeys2<T> = T extends `_${string}` ? never : T;
55 export declare const dropPrivateProps2: <Obj>(obj: Obj) => { [K in keyof Obj extends infer T ? T extends keyof Obj ? T extends `_${string}` ? never : T : never : never]: Obj[K]; };
|
H A D | inferTypeConstraintInstantiationCircularity.js | 18 type F1<T> = T extends X1<infer U> ? U : never; 30 type F2<T> = T extends X2<infer U, AMappedType<{ s: number; } & { [k in keyof (infer U)]: number; }>> ? U : never; 37 [k in keyof T]: undefined extends T[k] ? k : never; 72 : never 73 : never; 90 : never 91 : never
|
H A D | infiniteConstraints.js | 12 T extends { [K in keyof T]: T[K] extends AProp<infer U> ? U : never } 23 ? never 36 type Cond<T> = T extends number ? number : never; 44 never : 45 never; 46 export type ExactExtract<T, U> = T extends U ? U extends T ? T : never : never;
|
H A D | conditionalTypeBasedContextualTypeReturnTypeWidening.js | 2 declare function useState1<S>(initialState: (S extends (() => any) ? never : S) | (() => S)): S; // No args 3 declare function useState2<S>(initialState: (S extends ((...args: any[]) => any) ? never : S) | (() => S)): S; // Any args 8 declare function useState3<S, T extends S>(initialState: (T extends (() => any) ? never : T) | (() => S)): S; // No args 9 declare function useState4<S, T extends S>(initialState: (T extends ((...args: any[]) => any) ? never : T) | (() => S)): S; // Any args
|
H A D | keyRemappingKeyofResult.js | 5 type Okay = Exclude<keyof Orig, never> 8 type Remapped = { [K in keyof Orig as {} extends Record<K, any> ? never : K]: any } 15 type Oops = Exclude<keyof Remapped, never> 32 type Remapped = { [K in keyof Orig as {} extends Record<K, any> ? never : K]: any } 56 type NonIndex<T extends PropertyKey> = {} extends Record<T, any> ? never : T; 57 type DistributiveNonIndex<T extends PropertyKey> = T extends unknown ? NonIndex<T> : never;
|
H A D | recursiveMappedTypes.js | 66 type NonOptionalKeys<T> = { [P in keyof T]: undefined extends T[P] ? never : P }[keyof T]; 84 export type TV<T, K extends keyof T> = T[K] extends Record<infer E, any> ? E : never; 90 ThemeType[K] extends ObjectOrArray<infer F> ? F : never; 92 export type Foo<T> = T extends { [P in infer E]: any } ? E : never; 111 [P in keyof T]: undefined extends T[P] ? never : P;
123 export type TV<T, K extends keyof T> = T[K] extends Record<infer E, any> ? E : never;
125 export type ThemeValue<K extends keyof ThemeType, ThemeType, TVal = any> = ThemeType[K] extends TVal[] ? number : ThemeType[K] extends Record<infer E, TVal> ? E : ThemeType[K] extends ObjectOrArray<infer F> ? F : never;
128 } ? E : never;
|
H A D | conditionalTypeAssignabilityWhenDeferred.js | 3 [K in keyof T]: T[K] extends TT ? K : never 16 declare function onlyNullablePlease<T extends null extends T ? any : never>( 21 T extends [null] extends [T] ? any : never 38 function f2<T>(t1: { x: T; y: T }, t2: T extends T ? { x: T; y: T } : never) { 66 // The next 4 are arguable - if you choose to ignore the `never` distribution case, 67 // then they're all good. The `never` case _is_ a bit of an outlier - we say distributive types 68 // look approximately like the sum of their branches, but the `never` case bucks that. 69 // There's an argument for the result of dumping `never` into a distributive conditional 70 // being not `never`, but instead the intersection of the branches - a much more precise bound 73 // Distributive where T might instantiate to never [all...] |
H A D | intrinsicTypes.js | 6 type TU5 = Uppercase<never>; // never 13 type TL5 = Lowercase<never>; // never 20 type TC5 = Capitalize<never>; // never 27 type TN5 = Uncapitalize<never>; // never 81 type TU5 = Uppercase<never>;
87 type TL5 = Lowercase<never>;
[all...] |
/third_party/rust/crates/memchr/bench/src/memmem/ |
H A D | inputs.rs | 9 /// Queries that are expected to never occur. 10 pub never: &'static [Query], 32 never: &[ 58 never: &[ 93 // implementation (correctly) never returns match offsets that 103 never: &[Query { 125 never: &[Query { 145 never: &[ 164 never: &[Query { 182 never [all...] |