Enum rustc_infer::infer::region_constraints::Constraint

pub enum Constraint<'tcx> {
    VarSubVar(RegionVid, RegionVid),
    RegSubVar(Region<'tcx>, RegionVid),
    VarSubReg(RegionVid, Region<'tcx>),
    RegSubReg(Region<'tcx>, Region<'tcx>),
}

Represents a constraint that influences the inference process.

Variants

VarSubVar(RegionVid, RegionVid)

A region variable is a subregion of another.

RegSubVar(Region<'tcx>, RegionVid)

A concrete region is a subregion of region variable.

VarSubReg(RegionVid, Region<'tcx>)

A region variable is a subregion of a concrete region. This does not directly affect inference, but instead is checked after inference is complete.

RegSubReg(Region<'tcx>, Region<'tcx>)

A constraint where neither side is a variable. This does not directly affect inference, but instead is checked after inference is complete.

Implementations

impl Constraint<'_>

pub fn involves_placeholders(&self) -> bool

Trait Implementations

impl<'tcx> Clone for Constraint<'tcx>

fn clone(&self) -> Constraint<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for Constraint<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Ord for Constraint<'tcx>

fn cmp(&self, other: &Constraint<'tcx>) -> Ordering

This method returns an Ordering between self and other.

#[must_use]

fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]

fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]

fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl<'tcx> PartialEq<Constraint<'tcx>> for Constraint<'tcx>

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

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

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

This method tests for !=.

impl<'tcx> PartialOrd<Constraint<'tcx>> for Constraint<'tcx>

fn partial_cmp(&self, other: &Constraint<'tcx>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<'tcx> Copy for Constraint<'tcx>

impl<'tcx> Eq for Constraint<'tcx>

impl<'tcx> StructuralEq for Constraint<'tcx>

impl<'tcx> StructuralPartialEq for Constraint<'tcx>