Replace Deref bounds on Interner in favor of a SliceLike trait

This commit is contained in:
Michael Goulet 2024-06-21 13:55:21 -04:00
parent a155c38989
commit 8998ce24e0

View file

@ -267,7 +267,7 @@ fn needless_borrow_count<'tcx>(
return false;
}
let predicate = EarlyBinder::bind(predicate).instantiate(cx.tcx, &args_with_referent_ty);
let predicate = EarlyBinder::bind(predicate).instantiate(cx.tcx, &args_with_referent_ty[..]);
let obligation = Obligation::new(cx.tcx, ObligationCause::dummy(), cx.param_env, predicate);
let infcx = cx.tcx.infer_ctxt().build();
infcx.predicate_must_hold_modulo_regions(&obligation)