[Feature] allow use `xxx is Type` with async function

Search Terms

Suggestion

Use Cases

Examples

export async function checkIPFS(ipfs): awaited ipfs is IIPFSPromiseApi
{
return true
}

if (await checkIPFS(ipfs))
{
// here will know ipfs is IIPFSPromiseApi
}

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.

Inizia con l’esempio TypeScript nell’issue e confronta il comportamento richiesto dei type predicates asincroni con il comportamento attuale del compilatore. Esamina i TypeScript design goals collegati prima di decidere se la sintassi e il control-flow narrowing siano praticabili; il lavoro è completato quando la proposta ha un comportamento definito e accettato e tests che coprono l’esempio.