Skip to main content
Journey Uncommon Logo
JourneyUncommon
hardTypeScriptconditional-type distributionSingle-choice MCQ1 views

When a distributive conditional type is applied to the `never` type via a naked type parameter, how does the checker resolve it?

type Dist<T> = T extends any ? T[] : never; type A = Dist<never>; type B = [never] extends [never] ? Dist<never> : 0;