Fix conflict with recent changes on is-literal

Author: benzaria

source/is-literal.d.ts

@@ -1,11 +1,11 @@
-import type {CollapseLiterals, Extends, IsNotFalse, Not} from './internal/type.d.ts';
+import type {Extends, IsNotFalse, Not} from './internal/type.d.ts';
+import type {CollapseLiterals} from './internal/object.d.ts';
 import type {TagContainer, UnwrapTagged} from './tagged.js';
 import type {Primitive} from './primitive.d.ts';
 import type {IsNever} from './is-never.d.ts';
 import type {Numeric} from './numeric.d.ts';
 import type {And} from './and.js';
 
-
 /**
 Returns a boolean for whether the given type `T` is the specified `LiteralType`.
 
@@ -121,14 +121,15 @@ export type IsStringLiteral<T> = IsNever<T> extends false
 	? _IsStringLiteral<CollapseLiterals<T extends TagContainer<any> ? UnwrapTagged<T> : T>>
 	: false;
 
-export type _IsStringLiteral<S> =
-// If `T` is an infinite string type (e.g., `on${string}`), `Record<T, never>` produces an index signature,
-// and since `{}` extends index signatures, the result becomes `false`.
-S extends string
-	? {} extends Record<S, never>
-		? false
-		: true
-	: false;
+export type _IsStringLiteral<S> = (
+	// If `T` is an infinite string type (e.g., `on${string}`), `Record<T, never>` produces an index signature,
+	// and since `{}` extends index signatures, the result becomes `false`.
+	S extends string
+		? {} extends Record<S, never>
+			? false
+			: true
+		: false
+);
 
 /**
 Returns a boolean for whether the given type is a `number` or `bigint` [literal type](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#literal-types).
@@ -177,11 +178,9 @@ endsWith('abc123', end);
 @category Type Guard
 @category Utilities
 */
-export type IsNumericLiteral<T> = (
-	T extends Numeric
-		? LiteralChecks<T, Numeric>
-		: false
-);
+export type IsNumericLiteral<T> = T extends Numeric
+	? LiteralChecks<T, Numeric>
+	: false;
 
 /**
 Returns a boolean for whether the given type is a `true` or `false` [literal type](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#literal-types).

source/is-primitive.d.ts

@@ -104,11 +104,9 @@ type ex = IsNumericPrimitive<1>
 @category Type Guard
 @category Utilities
 */
-export type IsNumericPrimitive<T> = (
-	T extends Numeric
-		? PrimitiveChecks<T, Numeric>
-		: false
-);
+export type IsNumericPrimitive<T> = T extends Numeric
+	? PrimitiveChecks<T, Numeric>
+	: false;
 
 /**
 Returns a boolean for whether the given type is strictly a `boolean` [primitive type](https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#the-primitives-string-number-and-boolean).

test-d/is-literal.ts

@@ -135,19 +135,19 @@ expectType<IsBooleanLiteral<Tagged<boolean, 'Tag'>>>(false);
 expectType<IsStringLiteral<Tagged<Uppercase<string>, 'Tag'>>>(false);
 expectType<IsStringLiteral<Tagged<number, 'Tag'>>>(false);
 expectType<IsStringLiteral<Tagged<'foo' | 'bar', 'Tag'>>>(true);
-expectType<IsStringLiteral<Tagged<'foo' | 'bar' | `on${string}`, 'Tag'>>>({} as boolean);
-expectType<IsStringLiteral<Tagged<'1st' | '2nd' | '3rd' | number, 'Tag'>>>({} as boolean);
+expectType<IsStringLiteral<Tagged<'foo' | 'bar' | `on${string}`, 'Tag'>>>(boolean);
+expectType<IsStringLiteral<Tagged<'1st' | '2nd' | '3rd' | number, 'Tag'>>>(boolean);
 
 expectType<IsStringLiteral<Tagged<string, 'Tag'> | Tagged<number, 'Tag'>>>(false);
 expectType<IsStringLiteral<Tagged<'foo', 'Tag'> | Tagged<'bar', 'Tag'>>>(true);
-expectType<IsStringLiteral<Tagged<'foo' | 'bar', 'Tag'> | Tagged<number, 'Tag'>>>({} as boolean);
-expectType<IsStringLiteral<Tagged<'foo' | 'bar', 'Tag'> | number>>({} as boolean);
+expectType<IsStringLiteral<Tagged<'foo' | 'bar', 'Tag'> | Tagged<number, 'Tag'>>>(boolean);
+expectType<IsStringLiteral<Tagged<'foo' | 'bar', 'Tag'> | number>>(boolean);
 
 // Uncollapsed unions (e.g., `'foo' | 'bar' | (string & {})`)
 expectType<IsStringLiteral<'foo' | 'bar' | (string & {})>>(false);
 expectType<IsStringLiteral<LiteralUnion<'foo' | 'bar', string>>>(false);
 expectType<IsStringLiteral<LiteralUnion<'onClick' | 'onMouseDown', `on${string}`>>>(false);
-expectType<IsStringLiteral<LiteralUnion<'press' | 'onClick' | 'onMouseDown', `on${string}`>>>({} as boolean);
-expectType<IsStringLiteral<LiteralUnion<'foo' | 'bar', number>>>({} as boolean);
+expectType<IsStringLiteral<LiteralUnion<'press' | 'onClick' | 'onMouseDown', `on${string}`>>>(boolean);
+expectType<IsStringLiteral<LiteralUnion<'foo' | 'bar', number>>>(boolean);
 expectType<IsStringLiteral<Tagged<LiteralUnion<'foo' | 'bar', string>, 'Tag'>>>(false);
-expectType<IsStringLiteral<Tagged<LiteralUnion<'click' | 'onMouseDown', `on${string}`>, 'Tag'>>>({} as boolean);
+expectType<IsStringLiteral<Tagged<LiteralUnion<'click' | 'onMouseDown', `on${string}`>, 'Tag'>>>(boolean);

test-d/is-primitive.ts

@@ -10,13 +10,15 @@ import type {
 } from '../index.d.ts';
 import type {Numeric} from '../source/numeric.js';
 
-type stringLiteral = '';
+type stringLiteral = 'aA';
 type numberLiteral = 1;
 type bigintLiteral = 1n;
 type booleanLiteral = true;
 type symbolLiteral = typeof tag;
 type numericLiteral = numberLiteral | bigintLiteral;
 
+declare const boolean: boolean;
+
 // Primitives should be true
 expectType<IsPrimitive<string>>(true);
 expectType<IsPrimitive<number>>(true);
@@ -73,9 +75,9 @@ expectType<IsStringPrimitive<Lowercase<'xyz'> | Capitalize<'abc'>>>(false);
 // Union of literals and non-literals return `true`
 expectType<IsStringPrimitive<Uppercase<string> | (string & {})>>(true);
 expectType<IsStringPrimitive<Lowercase<string> | (string & {})>>(true);
-expectType<IsNumericPrimitive<(number & {}) | 1 | 2 | 3>>(true);
 
 // Boundary types
+expectType<IsStringPrimitive<{}>>(false);
 expectType<IsStringPrimitive<any>>(false);
 expectType<IsStringPrimitive<never>>(false);