There isn't any should make use of a return assertion as the compiler can infer that you want to return the results of the expression This appears to be comparable to this issue: Bogus "Property won't exist on kind 'never ever'" when transforming benefit within callback with strictNullChecks, that is https://plotsinsohna.in/