You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
IsNever<T>extendsfalse// Must be wider than `never`
45
45
? [T]extends[LiteralType& infer U]// Remove any branding
46
46
? And<
47
-
Extends<U,LiteralType>,// Must be narrower than `LiteralType`
48
-
Not<Extends<LiteralType,U>>// Cannot be wider than `LiteralType`
47
+
Extends<U,LiteralType>,// Must be narrower than `LiteralType`
48
+
Not<Extends<LiteralType,U>>,// Cannot be wider than `LiteralType`
49
49
>
50
50
: false
51
51
: false
@@ -74,9 +74,9 @@ type LiteralChecks<T, LiteralUnionType> = (
74
74
// If `T` is none of the literal types in the union `LiteralUnionType`, then `LiteralCheck<T, LiteralType>` will evaluate to `false` for the whole union.
75
75
// If `T` is one of the literal types in the union, it will evaluate to `boolean` (i.e. `true | false`)
0 commit comments