Struct CachedBody

pub struct CachedBody<'tcx> {
    body: Body<'tcx>,
    input_facts: FlowistryFacts,
}

A mir Body and all the additional borrow checking facts that our points-to analysis needs.

Fields

body: Body<'tcx>

input_facts: FlowistryFacts

Implementations

impl<'tcx> CachedBody<'tcx>

fn retrieve(tcx: TyCtxt<'tcx>, local_def_id: LocalDefId) -> Self

Retrieve a body and the necessary facts for a local item.

Ensure this is called early enough in the compiler (like after_expansion) so that the body has not been stolen yet.

Trait Implementations

impl<'tcx> Debug for CachedBody<'tcx>

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

Formats the value using the given formatter.

impl<'tcx, __D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<__D> for CachedBody<'tcx>

fn decode(__decoder: &mut __D) -> Self

impl<'tcx, __E: TyEncoder<I = TyCtxt<'tcx>>> Encodable<__E> for CachedBody<'tcx>

fn encode(&self, __encoder: &mut __E)

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

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

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