Trait rustc_mir::borrow_check::facts::FactRow

pub(in borrow_check::facts) trait FactRow {
    pub(in borrow_check::facts) fn write(
        &self, 
        out: &mut dyn Write, 
        location_table: &LocationTable
    ) -> Result<(), Box<dyn Error>>;
}

Required methods

pub(in borrow_check::facts) fn write(
    &self,
    out: &mut dyn Write,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>

Loading content...

Implementations on Foreign Types

impl FactRow for RegionVid

pub(in borrow_check::facts) fn write(
    &self,
    out: &mut dyn Write,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>

impl<A, B> FactRow for (A, B) where
    A: FactCell,
    B: FactCell, 

pub(in borrow_check::facts) fn write(
    &self,
    out: &mut dyn Write,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>

impl<A, B, C> FactRow for (A, B, C) where
    A: FactCell,
    B: FactCell,
    C: FactCell, 

pub(in borrow_check::facts) fn write(
    &self,
    out: &mut dyn Write,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>

impl<A, B, C, D> FactRow for (A, B, C, D) where
    A: FactCell,
    B: FactCell,
    C: FactCell,
    D: FactCell, 

pub(in borrow_check::facts) fn write(
    &self,
    out: &mut dyn Write,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>

Loading content...

Implementors

Loading content...