Type widening for T or Promise<T>

Bug Report

🔎 Search Terms

Type widening, promise, generic type widening.

🕗 Version & Regression Information

This is the behavior in every version I tried.

⏯ Playground Link

Playground link

💻 Code

type Cb3 = <Res extends string | Promise<string>>(cb: () => Res) => Res

const c: Cb3 = {} as any;

// this don't widen the type, type of t31 is "1"
const t31 = c(() => {
  return '1';
});

// but here is the problem, type of t32 is Promise<string>
const t32 = c(async () => {
  return '1';
});

🙁 Actual behavior

Type of t32 is Promise<string>

🙂 Expected behavior

Type of t32 is Promise<"1">, by analogy with type of t31

Inizia con il TypeScript Playground collegato e confronta l’inferenza delle callback generiche negli esempi sincrono e asincrono. Traccia il punto in cui il caso Promise perde il tipo letterale; il lavoro è completato quando la chiamata asincrona viene inferita come Promise<"1"> mentre il risultato sincrono rimane invariato.