Struct rustc_hir_typeck::generator_interior::drop_ranges::record_consumed_borrow::ExprUseDelegate

struct ExprUseDelegate<'tcx> {
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    places: ConsumedAndBorrowedPlaces,
}

Works with ExprUseVisitor to find interesting values for the drop range analysis.

Interesting values are those that are either dropped or borrowed. For dropped values, we also record the parent expression, which is the point where the drop actually takes place.

Fields

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

places: ConsumedAndBorrowedPlaces

Implementations

impl<'tcx> ExprUseDelegate<'tcx>

fn new(tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>) -> Self

fn consume_body(
    &mut self,
    fcx: &FnCtxt<'_, 'tcx>,
    def_id: DefId,
    body: &'tcx Body<'tcx>
)

fn mark_consumed(&mut self, consumer: HirId, target: TrackedValue)

fn borrow_place(&mut self, place_with_id: &PlaceWithHirId<'tcx>)

Trait Implementations

impl<'tcx> Delegate<'tcx> for ExprUseDelegate<'tcx>

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

The value found at place is moved, depending on mode. Where diag_expr_id is the id used for diagnostics for place.

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

The value found at place is being borrowed with kind bk. diag_expr_id is the id used for diagnostics (see consume for more details).

fn copy(&mut self, place_with_id: &PlaceWithHirId<'tcx>, _diag_expr_id: HirId)

The value found at place is being copied. diag_expr_id is the id used for diagnostics (see consume for more details).

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

The path at assignee_place is being assigned to. diag_expr_id is the id used for diagnostics (see consume for more details).

fn bind(&mut self, binding_place: &PlaceWithHirId<'tcx>, diag_expr_id: HirId)

The path at binding_place is a binding that is being initialized.

fn fake_read(
    &mut self,
    place_with_id: &PlaceWithHirId<'tcx>,
    cause: FakeReadCause,
    diag_expr_id: HirId
)

The place should be a fake read because of specified cause.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 136 bytes