Home
last modified time | relevance | path

Searched refs:never (Results 1 - 25 of 223) sorted by relevance

123456789

/third_party/typescript/tests/baselines/reference/
H A DneverUnionIntersection.js2 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 DconditionalTypesSimplifyWhenTrivial.js3 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 DneverType.js2 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 DconditionalTypes1.js44 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 DinferTypes2.js4 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 DdiscriminantsAndNullOrUndefined.js9 function never(_: never): never {
22 default: never(c);
28 function never(_) { function
41 default: never(c);
H A DmappedTypeAsClauses.js22 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 DinferTypesWithExtends1.js6 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 DrecursiveConditionalCrash3.js44 : 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 DstrictFunctionTypes1.js19 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 DindexingTypesWithNever.js7 // 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 DinferTypes1.js14 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 DramdaToolsNoInfinite2.js22 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 DneverTypeErrors1.js3 let x: never;
13 function f2(): never {
17 function f3(): never {
21 function f4(): never {
28 let x: never[] = []; // Ok
H A DneverTypeErrors2.js3 let x: never;
13 function f2(): never {
17 function f3(): never {
21 function f4(): never {
28 let x: never[] = []; // Ok
H A DmappedTypeAsClauseRelationships.js3 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 DdeclarationEmitInlinedDistributiveConditional.js18 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 DinferTypeConstraintInstantiationCircularity.js18 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 DinfiniteConstraints.js12 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 DconditionalTypeBasedContextualTypeReturnTypeWidening.js2 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 DkeyRemappingKeyofResult.js5 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 DrecursiveMappedTypes.js66 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 DconditionalTypeAssignabilityWhenDeferred.js3 [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 DintrinsicTypes.js6 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 Dinputs.rs9 /// 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...]

Completed in 5 milliseconds

123456789