Type Definition rustc::ty::PolyTraitRef

type PolyTraitRef<'tcx> = Binder<TraitRef<'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> PolyTraitRef<'tcx>

pub fn self_ty(&self) -> 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 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?

pub fn substs(&self) -> &'tcx Substs<'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 input_types<'a>(
    &'a self
) -> impl DoubleEndedIterator<Item = Ty<'tcx>> + 'a

🔬 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 to_poly_trait_predicate(&self) -> PolyTraitPredicate<'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> ToTrace<'tcx> for PolyTraitRef<'tcx>

fn to_trace(
    cause: &ObligationCause<'tcx>,
    a_is_expected: bool,
    a: Self,
    b: Self
) -> TypeTrace<'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?

impl<'gcx> TransNormalize<'gcx> for PolyTraitRef<'gcx>

fn trans_normalize<'a, 'tcx>(
    &self,
    infcx: &InferCtxt<'a, 'gcx, 'tcx>,
    param_env: ParamEnv<'tcx>
) -> Self

🔬 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?

impl<'tcx> Key for PolyTraitRef<'tcx>

fn map_crate(&self) -> CrateNum

🔬 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?

Given an instance of this key, what crate is it referring to? This is used to find the provider.

fn default_span(&self, tcx: TyCtxt) -> Span

🔬 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?

In the event that a cycle occurs, if no explicit span has been given for a query with key self, what span should we use?

impl<'tcx> ToPredicate<'tcx> for PolyTraitRef<'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?