GreaterThanOrEqual / LessThan: Fix behavior with operands like N and N | N + >0 (#1280)

Author: som-sm

source/greater-than-or-equal.d.ts

@@ -19,6 +19,12 @@ GreaterThanOrEqual<1, 5>;
 */
 export type GreaterThanOrEqual<A extends number, B extends number> = number extends A | B
 	? never
-	: A extends B ? true : GreaterThan<A, B>;
+	: A extends number // For distributing `A`
+		? B extends number // For distributing `B`
+			? A extends B
+				? true
+				: GreaterThan<A, B>
+			: never // Should never happen
+		: never; // Should never happen
 
 export {};

test-d/greater-than-or-equal.ts

@@ -27,6 +27,7 @@ expectType<GreaterThanOrEqual<-16 | 16, 0>>({} as boolean);
 expectType<GreaterThanOrEqual<-4 | 45, 20 | 30>>({} as boolean);
 expectType<GreaterThanOrEqual<1 | -1 | 3, 0 | 2>>({} as boolean);
 expectType<GreaterThanOrEqual<1 | 2 | 3, 3 | 4>>({} as boolean);
+expectType<GreaterThanOrEqual<1, 1 | 2>>({} as boolean);
 
 expectType<GreaterThanOrEqual<PositiveInfinity, -999>>(true);
 expectType<GreaterThanOrEqual<PositiveInfinity, 999>>(true);

test-d/less-than.ts

@@ -26,6 +26,7 @@ expectType<LessThan<-10, -90 | 90>>({} as boolean);
 expectType<LessThan<-16 | 16, 0>>({} as boolean);
 expectType<LessThan<-4 | 45, 20 | 30>>({} as boolean);
 expectType<LessThan<1 | -1 | 3, 0 | 2>>({} as boolean);
+expectType<LessThan<1, 1 | 2>>({} as boolean);
 
 expectType<LessThan<PositiveInfinity, -999>>(false);
 expectType<LessThan<PositiveInfinity, 999>>(false);