Idea: type that can't be ignored

[vkurchatkin]

One common source of error is forgetting to use promise:

async function main() {
  foo(); // should be await foo();
}

This can be solved with generic $MustUse type:

async function foo(): $MustUse<Promise<void>> {
// ...
}

[AriaFallah]

@vkurchatkin

Is there anything like this currently? I'm looking to solve the exact problem in your example.

[vkurchatkin]

Not to my knowledge

[SamChou19815]

This is now implemented with unused promise lint.