The following type resolves to never on all TS versions I have tried, but to me looks like it should resolve to the empty string ("").
Any clues what might be going on?
type A = "ab" extends `${infer _ extends "ab"}${infer B extends string}` ? B : never;
The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.