Type Definition rustc::ty::PolyProjectionPredicate

type PolyProjectionPredicate<'tcx> = Binder<ProjectionPredicate<'tcx>>;

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Methods

impl<'tcx> PolyProjectionPredicate<'tcx>

pub fn to_poly_trait_ref(&self, tcx: TyCtxt) -> PolyTraitRef<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

pub fn ty(&self) -> Binder<Ty<'tcx>>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Trait Implementations

impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>

fn to_predicate(&self) -> Predicate<'tcx>

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?