fix: NumberType to handle any and union

.changeset/gold-hats-hug.md

@@ -0,0 +1,5 @@
+---
+'type-plus': patch
+---
+
+Fix `NumberType` to handle `any` and union.

ts/number_plus/number.is_positive.spec.ts

@@ -4,8 +4,9 @@ it('returns false if N is number as it can include negative', () => {
 	isType.equal<true, IsPositive<number>, false>()
 })
 
-it('returns false if N is never', () => {
+it('returns false if N is never or any', () => {
 	isType.equal<true, IsPositive<never>, false>()
+	isType.equal<true, IsPositive<any>, false>()
 })
 
 it('returns true for 0', () => {

ts/number_plus/number.number_type.spec.ts

@@ -6,6 +6,15 @@ it('returns number for type number', () => {
 
 it('returns never for never', () => {
 	isType.never<NumberType<never>>()
+	isType.never<NumberType<any>>()
+})
+
+it('returns never if N is union of non number', () => {
+	isType.never<NumberType<number | string>>()
+})
+
+it('returns number if N is union of number and number literal', () => {
+	isType.equal<true, number, NumberType<number | 1>>()
 })
 
 it('returns never for numeric literals', () => {

ts/number_plus/number.positive.spec.ts

@@ -4,8 +4,9 @@ it('returns never if N is number as it can include negative', () => {
 	isType.never<Positive<number>>()
 })
 
-it('returns never if N is never', () => {
+it('returns never if N is never or any', () => {
 	isType.never<Positive<never>>()
+	isType.never<Positive<any>>()
 })
 
 it('returns 0 if N is 0', () => {

ts/number_plus/number.ts

@@ -1,4 +1,5 @@
 import type { IsNever } from '../PrimitiveTypes.js'
+import type { IsAny } from '../any_plus/any.js'
 
 /**
  * Either number or bigint.
@@ -105,7 +106,11 @@ export type NonNegative<N extends Numeric, Then = N, Else = never> = Negative<N,
  * type R = NumberType<1> // false
  * ```
  */
-export type NumberType<T extends number, Then = T, Else = never> = number extends T ? Then : Else
+export type NumberType<T, Then = T, Else = never> = IsAny<
+	T,
+	Else,
+	[number, T] extends [T, number] ? Then : Else
+>
 
 /**
  * Check if the value is a positive number.

ts/predicates/Equal.spec.ts

@@ -1,4 +1,4 @@
-import { AnyFunction, assertType, Equal, NotEqual, ValueOf } from '../index.js'
+import { AnyFunction, assertType, Equal, isType, NotEqual, ValueOf } from '../index.js'
 
 describe('Equal<A, B>', () => {
 	it('compares among booleans', () => {
@@ -119,9 +119,11 @@ describe('Equal<A, B>', () => {
 	})
 
 	it('works against any', () => {
-		assertType.isTrue(true as Equal<any, any>)
-		assertType.isFalse(false as Equal<any, 1>)
-		assertType.isFalse(false as Equal<1, any>)
+		isType.equal<true, true, Equal<any, any>>()
+		isType.equal<true, false, Equal<any, 1>>()
+		isType.equal<true, false, Equal<1, any>>()
+
+		// isType.equal<true, false, Equal<[any], [1]>>()
 	})
 
 	it('works against function overload', () => {