NoInfer doesn't work in string template types

🔎 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.

Beginne damit, die beiden Beispiele für generische Aufrufe im verknüpften TypeScript Playground zu reproduzieren und zu vergleichen, wie sich NoInfer in der Parameter- und der String-Template-Form verhält. Verfolge das Verhalten der Typinferenz für NoInfer innerhalb von Template-Literal-Typen; abgeschlossen ist die Aufgabe, wenn der Aufruf g("5", "rel:7") wie erwartet abgewiesen wird und die gezeigten Varianten abgedeckt sind.