Commit a8f6528

flodieboldjackh726

authored and

committed

Add a missing UpcastFrom impl in rustc_type_ir

1 parent 4ff22dd commit a8f6528Copy full SHA for a8f6528

File tree

+10

-11

lines changed

compiler
- rustc_middle/src/ty
  - predicate.rs
- rustc_type_ir/src
  - predicate.rs

+10

-11

lines changed

Lines changed: 1 addition & 11 deletions

Original file line number	Diff line number	Diff line change
`@@ -6,8 +6,7 @@ use rustc_macros::{HashStable, extension};`
`6`	`6`	`use rustc_type_ir as ir;`
`7`	`7`
`8`	`8`	`use crate::ty::{`
`9`		`- self, DebruijnIndex, EarlyBinder, PredicatePolarity, Ty, TyCtxt, TypeFlags, Upcast, UpcastFrom,`
`10`		`- WithCachedTypeInfo,`
	`9`	`+ self, DebruijnIndex, EarlyBinder, Ty, TyCtxt, TypeFlags, Upcast, UpcastFrom, WithCachedTypeInfo,`
`11`	`10`	`};`
`12`	`11`
`13`	`12`	`pub type TraitRef<'tcx> = ir::TraitRef<TyCtxt<'tcx>>;`
`@@ -536,15 +535,6 @@ impl<'tcx> UpcastFrom<TyCtxt<'tcx>, ty::Binder<'tcx, TraitRef<'tcx>>> for Clause`
`536`	`535`	`}`
`537`	`536`	`}`
`538`	`537`
`539`		`-impl<'tcx> UpcastFrom<TyCtxt<'tcx>, ty::Binder<'tcx, TraitRef<'tcx>>> for PolyTraitPredicate<'tcx> {`
`540`		`- fn upcast_from(from: ty::Binder<'tcx, TraitRef<'tcx>>, _tcx: TyCtxt<'tcx>) -> Self {`
`541`		`- from.map_bound(\|trait_ref\| TraitPredicate {`
`542`		`- trait_ref,`
`543`		`- polarity: PredicatePolarity::Positive,`
`544`		`- })`
`545`		`- }`
`546`		`-}`
`547`		`-`
`548`	`538`	`impl<'tcx> UpcastFrom<TyCtxt<'tcx>, TraitPredicate<'tcx>> for Predicate<'tcx> {`
`549`	`539`	`fn upcast_from(from: TraitPredicate<'tcx>, tcx: TyCtxt<'tcx>) -> Self {`
`550`	`540`	`PredicateKind::Clause(ClauseKind::Trait(from)).upcast(tcx)`

Lines changed: 9 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -184,6 +184,15 @@ impl<I: Interner> UpcastFrom<I, TraitRef<I>> for TraitPredicate<I> {`
`184`	`184`	`}`
`185`	`185`	`}`
`186`	`186`
	`187`	`+impl<I: Interner> UpcastFrom<I, ty::Binder<I, TraitRef<I>>> for ty::Binder<I, TraitPredicate<I>> {`
	`188`	`+ fn upcast_from(from: ty::Binder<I, TraitRef<I>>, _tcx: I) -> Self {`
	`189`	`+ from.map_bound(\|trait_ref\| TraitPredicate {`
	`190`	`+ trait_ref,`
	`191`	`+ polarity: PredicatePolarity::Positive,`
	`192`	`+ })`
	`193`	`+ }`
	`194`	`+}`
	`195`	`+`
`187`	`196`	`impl<I: Interner> fmt::Debug for TraitPredicate<I> {`
`188`	`197`	`fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {`
`189`	`198`	`write!(f, "TraitPredicate({:?}, polarity:{:?})", self.trait_ref, self.polarity)`

Comments

(0)