Has<U, U1>: Not<Extends<Exclude<U1, U>, U1>>

Type Parameters