This commit is contained in:
Jack Huey 2021-01-04 16:50:36 -05:00
parent 7c3b6a63ad
commit 82569601f2

View File

@ -115,8 +115,7 @@ fn check_fn(
.filter(|p| !p.is_global())
.filter_map(|obligation| {
// Note that we do not want to deal with qualified predicates here.
let binder = obligation.predicate.bound_atom();
match binder.skip_binder() {
match obligation.predicate.bound_atom().skip_binder() {
ty::PredicateAtom::Trait(pred, _) if !pred.has_escaping_bound_vars() => {
if pred.def_id() == sized_trait {
return None;