rustc​::middle​::typeck​::infer​::region_inference

Structs

RegionMarkRegionSnapshotRegionVarBindingsSameRegionsTwoRegions

Enum rustc::middle::typeck::infer::region_inference::Constraint[src]

pub enum Constraint {
    ConstrainVarSubVar(RegionVid, RegionVid),
    ConstrainRegSubVar(Region, RegionVid),
    ConstrainVarSubReg(RegionVid, Region),
    ConstrainRegSubReg(Region, Region),
}

Variants

ConstrainVarSubVar
ConstrainRegSubVar
ConstrainVarSubReg
ConstrainRegSubReg

Trait Implementations

impl Repr for Constraint

fn repr(&self, tcx: &ctxt) -> String

Derived Implementations

impl<__S: Writer> Hash<__S> for Constraint

fn hash(&self, __arg_0: &mut __S)

impl Eq for Constraint

fn assert_receiver_is_total_eq(&self)

impl PartialEq for Constraint

fn eq(&self, __arg_0: &Constraint) -> bool

fn ne(&self, __arg_0: &Constraint) -> bool