Skip to content

Commit 14c846c

Browse files
committed
Do not assert that hidden types don't have erased regions.
1 parent 65519f5 commit 14c846c

File tree

1 file changed

+0
-3
lines changed
  • compiler/rustc_trait_selection/src/traits/select

1 file changed

+0
-3
lines changed

compiler/rustc_trait_selection/src/traits/select/mod.rs

-3
Original file line numberDiff line numberDiff line change
@@ -3116,9 +3116,6 @@ fn bind_generator_hidden_types_above<'tcx>(
31163116
bty.instantiate(tcx, args)
31173117
})
31183118
.collect();
3119-
if considering_regions {
3120-
debug_assert!(!hidden_types.has_erased_regions());
3121-
}
31223119
let bound_vars =
31233120
tcx.mk_bound_variable_kinds_from_iter(bound_vars.iter().chain(
31243121
(num_bound_variables..counter).map(|_| ty::BoundVariableKind::Region(ty::BrAnon)),

0 commit comments

Comments
 (0)