These were leftover from the #8059, which plugged a type variable leak caused by type checking invalid default argument expressions.