Trait FlowistryInput

pub trait FlowistryInput<'tcx, 'a>: Copy {
    // Required methods
    fn body(self) -> &'tcx Body<'tcx>;
    fn input_facts_subset_base(
        self,
    ) -> Box<dyn Iterator<Item = (RegionVid, RegionVid)> + 'a>;
}

The per-procedure information the analysis needs. Most of the time this is going to be [BodyWithBorrowckFacts]

Required Methods

fn body(self) -> &'tcx Body<'tcx>

fn input_facts_subset_base( self, ) -> Box<dyn Iterator<Item = (RegionVid, RegionVid)> + 'a>

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.

Implementations on Foreign Types

impl<'tcx> FlowistryInput<'tcx, 'tcx> for &'tcx BodyWithBorrowckFacts<'tcx>

fn body(self) -> &'tcx Body<'tcx>

fn input_facts_subset_base( self, ) -> Box<dyn Iterator<Item = (RegionVid, RegionVid)> + 'tcx>

Implementors