rustc_borrowck::facts

Trait FactRow

source
trait FactRow {
    // Required method
    fn write(
        &self,
        out: &mut dyn Write,
        location_table: &LocationTable,
    ) -> Result<(), Box<dyn Error>>;
}

Required Methods§

source

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

Implementations on Foreign Types§

source§

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

source§

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

source§

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

source§

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

source§

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

source§

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

Implementors§