type Weird = (<U extends boolean>(a: U) => never) extends 
    (<U extends true>(a: U) => never) ? never : never;

This type puts the type checker in some sort of weird state where it's never narrowed into anything useful. I assume the proper type should be boolean never.