resolve_vars_if_possible
normalize_erasing_regions
NOTE: `needs_infer()` needs to come after ignoring generic parameters