Sep 9, 2018 · 1 min read
Wondering: Wouldn’t it be even better if this check would also look at the dynamic type of the result of extinguish()? That’s where errors are even more problematic. Wouldn’t be easy to implement, though.
extinguish(30, 20, 100); // $ExpectType Promise<void>