Trait rustc_borrowck::constraints::graph::ConstraintGraphDirecton[−][src]

pub(crate) trait ConstraintGraphDirecton: Copy + 'static {
    fn start_region(c: &OutlivesConstraint<'_>) -> RegionVid;

    fn end_region(c: &OutlivesConstraint<'_>) -> RegionVid;

    fn is_normal() -> bool;
}
Expand description

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

Required methods

Implementors