bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make sure to insert Sized bound first into clauses list

Browse source
This commit is contained in:
Michael Goulet 2024-03-31 17:20:00 -04:00
parent dd5e502d4b
commit f2fd2d8c70
3 changed files with 39 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_hir_analysis/src/bounds.rs
View file

@ -54,14 +54,20 @@ impl<'tcx> Bounds<'tcx> {
span: Span,
polarity: ty::PredicatePolarity,
) {
self.clauses.push((
let clause = (
trait_ref
.map_bound(|trait_ref| {
ty::ClauseKind::Trait(ty::TraitPredicate { trait_ref, polarity })
})
.to_predicate(tcx),
span,
));
);
// FIXME(-Znext-solver): We can likely remove this hack once the new trait solver lands.
if tcx.lang_items().sized_trait() == Some(trait_ref.def_id()) {
self.clauses.insert(0, clause);
} else {
self.clauses.push(clause);
}
}
pub fn push_projection_bound(