We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 65519f5 commit 14c846cCopy full SHA for 14c846c
compiler/rustc_trait_selection/src/traits/select/mod.rs
@@ -3116,9 +3116,6 @@ fn bind_generator_hidden_types_above<'tcx>(
3116
bty.instantiate(tcx, args)
3117
})
3118
.collect();
3119
- if considering_regions {
3120
- debug_assert!(!hidden_types.has_erased_regions());
3121
- }
3122
let bound_vars =
3123
tcx.mk_bound_variable_kinds_from_iter(bound_vars.iter().chain(
3124
(num_bound_variables..counter).map(|_| ty::BoundVariableKind::Region(ty::BrAnon)),
0 commit comments