This is the behavior in every version I tried, and I reviewed the FAQ for entries about distributive conditional types (Generic conditional type T extends never ? 'yes' : 'no' resolves to never when T ...