Trait rustc_borrowck::facts::FactRow

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

Required Methods

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

Implementations on Foreign Types

impl<A, B> FactRow for (A, B)

where A: FactCell, B: FactCell,

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,

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,

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

Implementors

impl FactRow for PoloniusRegionVid