Every element of `typed_parameters` already is a `type_expr` (guaranteed on line 132 above) and so this check is redundant.