VBC-800: floating-promise

error

Category: core
Analysis: Type checker
File types: .ts, .tsx
Tags: correctness async

What it reports

Unawaited Promise detected. Expected await or return, but got {match}. Floating promises can cause unhandled rejections and race conditions.

Examples

Exercised by type-checker.test.ts: needs a ts.Program and TypeChecker.