Enum rustc::middle::infer::region_inference::ConstraintExperimental [-]  [+] [src]

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

Variants

ConstrainVarSubVar
ConstrainRegSubVar
ConstrainVarSubReg

Trait Implementations

impl<'tcx> Repr<'tcx> for Constraint

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

Derived Implementations

impl Show for Constraint

fn fmt(&self, __arg_0: &mut Formatter) -> Result

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

impl Copy for Constraint

impl Clone for Constraint

fn clone(&self) -> Constraint

fn clone_from(&mut self, source: &Self)