There is not any must use a return assertion because the compiler can infer that you would like to return the results of the expression This seems to be comparable to this concern: False "Property won't exist on kind 'never'" when shifting value within callback with strictNullChecks, which is closed https://affordablehousinggurugram.in/