import type { Not } from '@traversable/registry'
declare function notAny<T extends Not.Any<T>>(schema: T): T
declare const any: any
const ex_01 = notUnknown({ a: 1 })
// ^? const ex_01: { a: number }
const ex_02 = notUnknown(unknown)
// ^^^^^^^
// 🚫 TypeError: Argument of type 'unknown' is not assignable to parameter of type 'never'
Not.Any