NoInfer breaks discriminate union autocomplete

🔎 Search Terms

no infer discriminate union

🕗 Version & Regression Information

Tested on version 5.6.3

⏯ Playground Link

https://www.typescriptlang.org/play/?#code/JYOwLgpgTgZghgYwgAgILIN4ChnLATwAcIAuZAcjnIBodkA3OAGwFdTkBnMKUAcwG4sAXyxZQkWIhQAhTHQLEy5AEY06HYAC92IFgFtl0QSKwKUAVRDAA9iGQBeNMgA+yaYKwwWIBGBt3EJEIwAB4AFWQIAA9IEAATDmRLfwA+AApvfzIAOWsASRAYaHCUgEo5YVFAiGC0jDMlKiFSoA

💻 Code

interface A {
  type: 'a',
  value: string;
}

interface B {
  type: 'b',
  size: number;
}

type Union = A | B;

function accept<T extends Union>(union: NoInfer<T>) {

}

accept({type: 'a'})

🙁 Actual behavior

When trying to autocomplete after writing type a the autocomplete doesn't work (but the result does get type checked):

🙂 Expected behavior

Even with NoInfer it should autocomplete the other properties of the "inferred" discriminate union case as it correctly type checks it if written wrong.

Additional information about the issue

No response

Inizia con la riproduzione collegata in TypeScript Playground e confronta il comportamento del completamento automatico con il risultato esistente del controllo dei tipi per NoInfer e un’unione discriminata. Il lavoro è completato quando, dopo aver inserito type 'a', vengono offerte le proprietà rimanenti del caso di unione selezionato, mentre i valori errati continuano a essere rifiutati.