NoInfer doesn't work in string template types

[sparecycles]

🔎 Search Terms

NoInfer string template

🕗 Version & Regression Information

This issue exists in every Playground-accessible version that has NoInfer.

⏯ Playground Link

here

💻 Code

function f<A>(a: NoInfer<A>, b: A extends string ? `rel:${A}` : never) {}
f("5", "rel:7"); // error - correct, type of A is "7"

but

function g<A>(a: A, b: A extends string ? `rel:${NoInfer<A>}` : never) {}
g("5", "rel:7"); // no error - surprising - type of A is inferred to be ("5" | "7")

🙁 Actual behavior

no type error on g() above, because the A type is being inferred via the string template in spite of the NoInfer marker.

🙂 Expected behavior

Both of the example calls should be recognized as wrong?

Additional information about the issue

Also tried

function g<A>(a: A, b: A extends string ? NoInfer<`rel:${A}`> : never) {}
function g<A>(a: A, b: NoInfer<A extends string ? `rel:${A}` : never>) {}

no luck.

[Andarist]

It's not about template literal types but rather about NoInfer used in a conditional type. This already doesn't work correctly:

function h<const A>(a: A, b: A extends string ? NoInfer<A> : never) {}
h("foo", "bar");

[sparecycles]

@Andarist you're absolutely right. Thanks for the fast fix!