Struct rustc_typeck::check::upvar::InferBorrowKind

struct InferBorrowKind<'a, 'tcx> {
    fcx: &'a FnCtxt<'a, 'tcx>,
    closure_def_id: DefId,
    current_closure_kind: ClosureKind,
    current_origin: Option<(Span, Symbol)>,
    adjust_upvar_captures: UpvarCaptureMap<'tcx>,
}

Fields

fcx: &'a FnCtxt<'a, 'tcx>

closure_def_id: DefId

current_closure_kind: ClosureKind

current_origin: Option<(Span, Symbol)>

adjust_upvar_captures: UpvarCaptureMap<'tcx>

Implementations

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

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

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

Indicates that place_with_id is being directly mutated (e.g., assigned to). If the place is based on a by-ref upvar, this implies that the upvar must be borrowed using an &mut borrow.

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

fn adjust_upvar_deref(
    &mut self,
    upvar_id: UpvarId,
    place_span: Span,
    borrow_kind: BorrowKind
)

fn adjust_upvar_borrow_kind(&mut self, upvar_id: UpvarId, kind: BorrowKind)

We infer the borrow_kind with which to borrow upvars in a stack closure. The borrow_kind basically follows a lattice of imm < unique-imm < mut, moving from left to right as needed (but never right to left). Here the argument mutbl is the borrow_kind that is required by some particular use.

fn adjust_closure_kind(
    &mut self,
    closure_id: LocalDefId,
    new_kind: ClosureKind,
    upvar_span: Span,
    var_name: Symbol
)

Trait Implementations

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)