Fix: test file and adjust type.d.ts

source/internal/type.d.ts

@@ -50,17 +50,17 @@ export type HasMultipleCallSignatures<T extends (...arguments_: any[]) => unknow
 /**
 Returns a boolean for whether the given `boolean` Union containe's `false`.
 */
-export type IsNotFalse<T> = Not<IsFalse<T>>;
+export type IsNotFalse<T extends boolean> = Not<IsFalse<T>>;
 
 /**
 Returns a boolean for whether the given `boolean` Union members are all `true`.
 */
-export type IsTrue<T> = Extends<T, true>;
+export type IsTrue<T extends boolean> = Extends<T, true>;
 
 /**
 Returns a boolean for whether the given `boolean` Union members are all `false`.
 */
-export type IsFalse<T> = Extends<T, false>;
+export type IsFalse<T extends boolean> = Extends<T, false>;
 
 /**
 Returns a boolean for whether the given type is primitive value or primitive type.
@@ -77,8 +77,7 @@ IsPrimitive<Object>
 //=> false
 ```
 */
-export type IsPrimitive<T> = Extends<T,Primitive>;
-//TODO: Push `IsPrimitive` Branch
+export type IsPrimitive<T> = Extends<T, Primitive>;
 
 /**
 Returns a boolean for whether A is false.

source/or.d.ts

@@ -15,6 +15,7 @@ Or<true, false>;
 //=> true
 
 Or<false, false>;
+//=> false
 
 Or<true, boolean>;
 //=> true

test-d/and.ts

@@ -29,12 +29,18 @@ expectType<AndAll<[true, false, false,]>>(false)
 expectType<AndAll<[true, true, false,]>>(false)
 
 // @ts-expect-error
-expectType<And<>>(never)
+expectType<And<>>({} as any)
 expectType<AndAll<[]>>(never)
-expectType<And<never, never>>(never)
 expectType<And<never, any>>(never)
 expectType<And<any, any>>(never)
 
+// Single value
+expectType<AndAll<[true]>>(true)
+expectType<AndAll<[false]>>(false)
+expectType<AndAll<[boolean]>>(never)
+expectType<AndAll<[never]>>(never)
+expectType<AndAll<[any]>>(never)
+
 // Test if boolean is position dependent
 expectType<AndAll<[boolean, true, true, true]>>(never)
 expectType<AndAll<[true, boolean, true, true]>>(never)

test-d/or.ts

@@ -22,19 +22,25 @@ expectType<Or<never, never>>(never);
 
 // OrAll
 expectType<OrAll<[true, true, true]>>(true)
-expectType<OrAll<[false, true, true,]>>(true)
-expectType<OrAll<[false, false, true,]>>(true)
-expectType<OrAll<[false, false, false,]>>(false)
-expectType<OrAll<[true, false, false,]>>(true)
-expectType<OrAll<[true, true, false,]>>(true)
+expectType<OrAll<[false, true, true]>>(true)
+expectType<OrAll<[false, false, true]>>(true)
+expectType<OrAll<[false, false, false]>>(false)
+expectType<OrAll<[true, false, false]>>(true)
+expectType<OrAll<[true, true, false]>>(true)
 
 // @ts-expect-error
-expectType<Or<>>(never)
+expectType<Or<>>({} as any)
 expectType<OrAll<[]>>(never)
-expectType<Or<never, never>>(never)
 expectType<Or<never, any>>(never)
 expectType<Or<any, any>>(never)
 
+// Single value
+expectType<OrAll<[true]>>(true)
+expectType<OrAll<[false]>>(false)
+expectType<OrAll<[boolean]>>(never)
+expectType<OrAll<[never]>>(never)
+expectType<OrAll<[any]>>(never)
+
 // Test if boolean is position dependent
 expectType<OrAll<[boolean, true, true, true]>>(true)
 expectType<OrAll<[true, boolean, true, true]>>(true)