Type inference won't work with template literals

[ccpu]

Thanks to @daanboer PR(#1265), type inference now works with this library, but I have discovered that it doesn't work with template literals:

export type Replace<
    Input extends string,
    Search extends string,
    Replacement extends string
> = Input extends `${infer Head}${Search}${infer Tail}` ? `${Head}${Replacement}${Tail}` : Input;

export type MyType = Replace<"FooBarBaz", "Bar", "">; // => FooBaz

The ability to use Inferred types with template literals would be great.