There is not any must utilize a return assertion as the compiler can infer you want to return the result of the expression This seems to be similar to this difficulty: Bogus "Property will not exist on kind 'never'" when switching benefit inside of callback with strictNullChecks, that is closed https://smartworldeveloper.in/