Struct rustc_mir::borrow_check::constraints::graph::Reverse

pub(crate) struct Reverse;

In reverse mode, a R1: R2 constraint results in an edge R2 -> R1. We use this for optimizing liveness computation, because then we wish to iterate from a region (e.g., R2) to all the regions that will outlive it (e.g., R1).

Trait Implementations

impl Clone for Reverse

pub fn clone(&self) -> Reverse

Returns a copy of the value.

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

Performs copy-assignment from source.

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

impl Copy for Reverse

impl Debug for Reverse

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

Formats the value using the given formatter.