type a = never extends `${infer P}` ? P : 1 // never
type b = never extends `${infer P}/` ? P : 2 // string
never encompasses all types, which is why we don't return 1 or 2
However, it's puzzling why a
is never but b
is string, how does that make sense???
I initially thought never for both because ${never}/
returns never
, but string ????
how can this be explained?