bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

remove binder from query constraints

Browse source
This commit is contained in:
lcnr 2023-02-07 10:59:18 +01:00
parent dffea43fc1
commit a04f31dc34
3 changed files with 20 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_borrowck/src/type_check/constraint_conversion.rs
View file

@ -83,16 +83,8 @@ impl<'a, 'tcx> ConstraintConversion<'a, 'tcx> {
}
self.constraints.member_constraints = tmp;
for (predicate, constraint_category) in outlives {
// At the moment, we never generate any "higher-ranked"
// region constraints like `for<'a> 'a: 'b`. At some point
// when we move to universes, we will, and this assertion
// will start to fail.
let predicate = predicate.no_bound_vars().unwrap_or_else(|| {
bug!("query_constraint {:?} contained bound vars", predicate,);
});
self.convert(predicate, *constraint_category);
for &(predicate, constraint_category) in outlives {
self.convert(predicate, constraint_category);
}
}