Type narrowing for awaited values

Search Terms

promise, type narrowing, await

Suggestion

The type narrowing that occurs inside if statements, should work with awaited values

Though generally speaking a type is used for values that are already

Examples

type A = {
  kind: 'a'
  a: string
}

type B = {
  kind: 'b'
  b: string
}

let data: A | B

async function valueTest() {
  if ((await data.kind) === 'a') {
    // 'data' hasn't been narrowed to type 'A'
    data.a // Error
  }

  // Works fine without await
  if (data.kind === 'a') {
    data.a // Okay
  }
}

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

Es werden keine Implementierungsdateien oder Tests genannt. Beginne damit, das TypeScript-Beispiel mit einer diskriminierten Union und einer awaiteten Eigenschaftsprüfung zu reproduzieren, und verfolge dann, wie die Typverengung im Kontrollfluss den await-Ausdruck behandelt. Fertig ist es, wenn der nachfolgende Zugriff auf data.a akzeptiert wird, wenn der abgewartete kind 'a' ist, ohne das erzeugte JavaScript zu ändern.