Trait rustc_mir::borrow_check::constraints::graph::ConstraintGraphDirecton

pub(crate) trait ConstraintGraphDirecton: Copy + 'static {
    pub(crate) fn start_region(c: &OutlivesConstraint) -> RegionVid;
    pub(crate) fn end_region(c: &OutlivesConstraint) -> RegionVid;
    pub(crate) fn is_normal() -> bool;
}

Marker trait that controls whether a R1: R2 constraint represents an edge R1 -> R2 or R2 -> R1.

Required methods

pub(crate) fn start_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn end_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn is_normal() -> bool

Loading content...

Implementors

impl ConstraintGraphDirecton for Normal

pub(crate) fn start_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn end_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn is_normal() -> bool

impl ConstraintGraphDirecton for Reverse

pub(crate) fn start_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn end_region(c: &OutlivesConstraint) -> RegionVid

pub(crate) fn is_normal() -> bool

Loading content...