Enum rustc_trait_selection::traits::project::ProjectionTyCandidate

pub(in traits::project) enum ProjectionTyCandidate<'tcx> {
    ParamEnv(PolyProjectionPredicate<'tcx>),
    TraitDef(PolyProjectionPredicate<'tcx>),
    Object(PolyProjectionPredicate<'tcx>),
    Select(Selection<'tcx>),
}

Variants

ParamEnv(PolyProjectionPredicate<'tcx>)

From a where-clause in the env or object type

TraitDef(PolyProjectionPredicate<'tcx>)

From the definition of Trait when you have something like <::B as Trait2>::C

Object(PolyProjectionPredicate<'tcx>)

Bounds specified on an object type

Select(Selection<'tcx>)

From a "impl" (or a "pseudo-impl" returned by select)

Trait Implementations

impl<'tcx> Debug for ProjectionTyCandidate<'tcx>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx> Eq for ProjectionTyCandidate<'tcx>

impl<'tcx> PartialEq<ProjectionTyCandidate<'tcx>> for ProjectionTyCandidate<'tcx>

pub fn eq(&self, other: &ProjectionTyCandidate<'tcx>) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &ProjectionTyCandidate<'tcx>) -> bool

This method tests for !=.

impl<'tcx> StructuralEq for ProjectionTyCandidate<'tcx>

impl<'tcx> StructuralPartialEq for ProjectionTyCandidate<'tcx>