add NoAny

DetachHead · DetachHead · Feb 24, 2021 · Feb 24, 2021 · Feb 24, 2021 · Feb 25, 2021
commit c94f5ce0cc7561531adb4de883823c2654bdd5f9
diff --git a/src/utilityTypes/__tests__/misc.spec.ts b/src/utilityTypes/__tests__/misc.spec.ts
@@ -1,4 +1,4 @@
-import { OnlyInfer } from '../misc'
+import { NoAny, OnlyInfer } from '../misc'
 
 describe('OnlyInfer', () => {
     test('basic', () => {
@@ -14,3 +14,11 @@ describe('OnlyInfer', () => {
         foo<number, number, number>(1)
     })
 })
+
+test('NoAny', () => {
+    const foo = <T extends number>(value: NoAny<T>) => value
+    foo(1)
+    // @ts-expect-error any is banned
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any -- testing any
+    foo(1 as any)
+})
diff --git a/src/utilityTypes/misc.ts b/src/utilityTypes/misc.ts
@@ -100,3 +100,13 @@ export type TODO<Reason extends string = 'no reason provided'> = {
     '_type not implemented (TODO)': never
     _reason: Reason
 }
+
+/**
+ * prevents `any` from being passed as a parameter. useful when using a badly typed lib with `any`'s all over the place
+ * @example
+ * declare const foo: <T extends number>(value: NoAny<T>) => void
+ * foo(1) //no error
+ * foo(1 as any) //error
+ */
+// eslint-disable-next-line @typescript-eslint/no-explicit-any -- need to use any to ban it
+export type NoAny<T> = Equals<T, any> extends true ? never : T