pub(crate) trait ConstraintGraphDirection: Copy + 'static {
// Required methods
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§
fn start_region(c: &OutlivesConstraint<'_>) -> RegionVid
fn end_region(c: &OutlivesConstraint<'_>) -> RegionVid
fn is_normal() -> bool
Object Safety§
This trait is not object safe.