bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Do not assert that hidden types don't have erased regions.

Browse source
This commit is contained in:
Camille GILLOT 2023-10-05 15:50:36 +00:00
parent 65519f5fc0
commit 14c846cb05
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_trait_selection/src/traits/select/mod.rs
View file

@ -3116,9 +3116,6 @@ fn bind_generator_hidden_types_above<'tcx>(
bty.instantiate(tcx, args) bty.instantiate(tcx, args)
}) })
.collect(); .collect();
if considering_regions {
debug_assert!(!hidden_types.has_erased_regions());
}
let bound_vars = let bound_vars =
tcx.mk_bound_variable_kinds_from_iter(bound_vars.iter().chain( tcx.mk_bound_variable_kinds_from_iter(bound_vars.iter().chain(
(num_bound_variables..counter).map(|_| ty::BoundVariableKind::Region(ty::BrAnon)), (num_bound_variables..counter).map(|_| ty::BoundVariableKind::Region(ty::BrAnon)),