squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Use ty::Binder::bind to fix debug-assertions ICEs

Browse source
This commit is contained in:
Yuki Okushi 2020-10-10 05:25:53 +09:00
parent fb4d62759b
commit 9f7eab4548
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_typeck/src/bounds.rs
View file

@ -72,7 +72,7 @@ impl<'tcx> Bounds<'tcx> {
.iter() .iter()
.map(|&(region_bound, span)| { .map(|&(region_bound, span)| {
let outlives = ty::OutlivesPredicate(param_ty, region_bound); let outlives = ty::OutlivesPredicate(param_ty, region_bound);
(ty::Binder::dummy(outlives).to_predicate(tcx), span) (ty::Binder::bind(outlives).to_predicate(tcx), span)
}) })
.chain(self.trait_bounds.iter().map(|&(bound_trait_ref, span, constness)| { .chain(self.trait_bounds.iter().map(|&(bound_trait_ref, span, constness)| {
let predicate = bound_trait_ref.with_constness(constness).to_predicate(tcx); let predicate = bound_trait_ref.with_constness(constness).to_predicate(tcx);