Rollup merge of #124288 - fee1-dead-contrib:rm_inner, r=fmease

remove `push_trait_bound_inner`

Don't see a use for it.
This commit is contained in:
Matthias Krüger 2024-04-23 12:10:27 +02:00 committed by GitHub
commit 802f629cfe
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -43,16 +43,6 @@ pub fn push_trait_bound(
trait_ref: ty::PolyTraitRef<'tcx>,
span: Span,
polarity: ty::PredicatePolarity,
) {
self.push_trait_bound_inner(tcx, trait_ref, span, polarity);
}
fn push_trait_bound_inner(
&mut self,
tcx: TyCtxt<'tcx>,
trait_ref: ty::PolyTraitRef<'tcx>,
span: Span,
polarity: ty::PredicatePolarity,
) {
let clause = (
trait_ref