mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

don't create a predicate for just a comparison

Browse Source
This commit is contained in:
Michael Goulet 2023-08-01 00:58:10 +00:00
parent 8696fa71b3
commit 44be25d8a2
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compiler/rustc_ty_utils/src/ty.rs
View File

@ -58,11 +58,17 @@ fn sized_constraint_for_ty<'tcx>(
// we know that `T` is Sized and do not need to check // we know that `T` is Sized and do not need to check
// it on the impl. // it on the impl.
let Some(sized_trait) = tcx.lang_items().sized_trait() else { return vec![ty] }; let Some(sized_trait_def_id) = tcx.lang_items().sized_trait() else { return vec![ty] };
let sized_predicate =
ty::TraitRef::new(tcx, sized_trait, [ty]).without_const().to_predicate(tcx);
let predicates = tcx.predicates_of(adtdef.did()).predicates; let predicates = tcx.predicates_of(adtdef.did()).predicates;
if predicates.iter().any(|(p, _)| *p == sized_predicate) { vec![] } else { vec![ty] } if predicates.iter().any(|(p, _)| {
p.as_trait_clause().is_some_and(|trait_pred| {
trait_pred.def_id() == sized_trait_def_id && trait_pred.self_ty().skip_binder() == ty
})
}) {
vec![]
} else {
vec![ty]
}
} }
Placeholder(..) | Bound(..) | Infer(..) => { Placeholder(..) | Bound(..) | Infer(..) => {