rustc_borrowck::constraints::graph

Trait ConstraintGraphDirection

Source 
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§

Source

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

Source

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

Source

fn is_normal() -> bool

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§