Home Original page

Rollup merge of #116452 - cjgillot:noassert-erased, r=oli-obk · rust-lang/rust@76d0b79

File tree

1 file changed

lines changed

  • compiler/rustc_trait_selection/src/traits/select

1 file changed

lines changed

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)),