We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
ty::Binder::bind
1 parent fb4d627 commit 9f7eab4Copy full SHA for 9f7eab4
compiler/rustc_typeck/src/bounds.rs
@@ -72,7 +72,7 @@ impl<'tcx> Bounds<'tcx> {
72
.iter()
73
.map(|&(region_bound, span)| {
74
let outlives = ty::OutlivesPredicate(param_ty, region_bound);
75
- (ty::Binder::dummy(outlives).to_predicate(tcx), span)
+ (ty::Binder::bind(outlives).to_predicate(tcx), span)
76
})
77
.chain(self.trait_bounds.iter().map(|&(bound_trait_ref, span, constness)| {
78
let predicate = bound_trait_ref.with_constness(constness).to_predicate(tcx);
0 commit comments