import type { Not } from '@traversable/registry'
declare function notUnknown<T extends Not.Unknown<T>>(schema: T): T
declare const unknown: unknown
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.Unknown