Trait rustc_typeck::expr_use_visitor::Delegate

pub trait Delegate<'tcx> {
    fn consume(
        &mut self, 
        place_with_id: &PlaceWithHirId<'tcx>, 
        diag_expr_id: HirId, 
        mode: ConsumeMode
    );
    fn borrow(
        &mut self, 
        place_with_id: &PlaceWithHirId<'tcx>, 
        diag_expr_id: HirId, 
        bk: BorrowKind
    );
    fn mutate(
        &mut self, 
        assignee_place: &PlaceWithHirId<'tcx>, 
        diag_expr_id: HirId
    );
}

This trait defines the callbacks you can expect to receive when employing the ExprUseVisitor.

Required methods

fn consume(
    &mut self,
    place_with_id: &PlaceWithHirId<'tcx>,
    diag_expr_id: HirId,
    mode: ConsumeMode
)

fn borrow(
    &mut self,
    place_with_id: &PlaceWithHirId<'tcx>,
    diag_expr_id: HirId,
    bk: BorrowKind
)

fn mutate(&mut self, assignee_place: &PlaceWithHirId<'tcx>, diag_expr_id: HirId)

Loading content...

Implementors

impl<'a, 'tcx> Delegate<'tcx> for InferBorrowKind<'a, 'tcx>

fn consume(
    &mut self,
    place_with_id: &PlaceWithHirId<'tcx>,
    diag_expr_id: HirId,
    mode: ConsumeMode
)

fn borrow(
    &mut self,
    place_with_id: &PlaceWithHirId<'tcx>,
    diag_expr_id: HirId,
    bk: BorrowKind
)

fn mutate(&mut self, assignee_place: &PlaceWithHirId<'tcx>, diag_expr_id: HirId)

Loading content...