Skip to content

Commit

Permalink
Do not assert that hidden types don't have erased regions.
Browse files Browse the repository at this point in the history
  • Loading branch information
cjgillot committed Oct 5, 2023
1 parent 65519f5 commit 14c846c
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 14c846c

Please sign in to comment.