Skip to content

Commit

Permalink
Rollup merge of #116452 - cjgillot:noassert-erased, r=oli-obk
Browse files Browse the repository at this point in the history
Do not assert that hidden types don't have erased regions.

cc #116306

`args` can have erased regions.
In the linked issue, this is reached by computing whether a large type is `Freeze` to compute its ABI.

I do not have a minimized test to include.
  • Loading branch information
matthiaskrgr authored Oct 5, 2023
2 parents c1c5ab7 + 14c846c commit 76d0b79
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions compiler/rustc_trait_selection/src/traits/select/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3116,9 +3116,6 @@ fn bind_generator_hidden_types_above<'tcx>(
bty.instantiate(tcx, args)
})
.collect();
if considering_regions {
debug_assert!(!hidden_types.has_erased_regions());
}
let bound_vars =
tcx.mk_bound_variable_kinds_from_iter(bound_vars.iter().chain(
(num_bound_variables..counter).map(|_| ty::BoundVariableKind::Region(ty::BrAnon)),
Expand Down

0 comments on commit 76d0b79

Please sign in to comment.