Struct HeapPropagation

struct HeapPropagation<'tcx, 'a> {
    tcx: TyCtxt<'tcx>,
    heap: OwnedHeap,
    unique: HashSet<DefId>,
    heap_res: &'a OHAResultMap,
}

Fields

tcx: TyCtxt<'tcx>

heap: OwnedHeap

unique: HashSet<DefId>

heap_res: &'a OHAResultMap

Implementations

impl<'tcx, 'a> HeapPropagation<'tcx, 'a>

pub fn new( tcx: TyCtxt<'tcx>, heap: OwnedHeap, heap_res: &'a OHAResultMap, ) -> Self

pub fn heap(&self) -> OwnedHeap

pub fn unique_mut(&mut self) -> &mut HashSet<DefId>

pub fn heap_res(&self) -> &'a OHAResultMap

Trait Implementations

impl<'tcx, 'a> Clone for HeapPropagation<'tcx, 'a>

fn clone(&self) -> HeapPropagation<'tcx, 'a>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx, 'a> TypeVisitor<TyCtxt<'tcx>> for HeapPropagation<'tcx, 'a>

type Result = ControlFlow<()>

fn visit_ty(&mut self, ty: Ty<'tcx>) -> Self::Result

fn visit_binder<T>(&mut self, t: &Binder<I, T>) -> Self::Result

where T: TypeFoldable<I>,

fn visit_region(&mut self, r: <I as Interner>::Region) -> Self::Result

fn visit_const(&mut self, c: <I as Interner>::Const) -> Self::Result

fn visit_predicate(&mut self, p: <I as Interner>::Predicate) -> Self::Result

fn visit_clauses(&mut self, c: <I as Interner>::Clauses) -> Self::Result

fn visit_error( &mut self, _guar: <I as Interner>::ErrorGuaranteed, ) -> Self::Result