Type Definition rustc::ty::PolyProjectionPredicate [−][src]
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>
[src]
impl<'tcx> PolyProjectionPredicate<'tcx>
pub fn item_def_id(&self) -> DefId
[src]
pub fn item_def_id(&self) -> DefId
🔬 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?
Returns the def-id of the associated item being projected.
pub fn to_poly_trait_ref(&self, tcx: TyCtxt) -> PolyTraitRef<'tcx>
[src]
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>>
[src]
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?
pub fn projection_def_id(&self) -> DefId
[src]
pub fn projection_def_id(&self) -> DefId
🔬 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?
The DefId of the TraitItem for the associated type.
Note that this is not the DefId of the TraitRef containing this associated type, which is in tcx.associated_item(projection_def_id()).container.
Trait Implementations
impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>
[src]
impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>
fn to_predicate(&self) -> Predicate<'tcx>
[src]
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?