TP0235

Error: awaitable never awaited (M33)

Messages

• this awaitable is never awaited, with help write 'await …' (M33)

Example

From the golden case tests/cases/m33/tp0235_await.tpn:

tp0235_await.tpn

# An awaitable that's never awaited (SPEC §3.14).
from dotnet.System.Threading.Tasks import Task

async def save(name: str):
    await Task.Delay(1)

save("draft")
Task.Delay(10)
let kept = save("kept")
await kept

The compiler reports:

tp0235_await.tpn:7:1: error TP0235: this awaitable is never awaited
  help: write 'await …'
tp0235_await.tpn:8:1: error TP0235: this awaitable is never awaited
  help: write 'await …'

The specification lists every code.