Struct rustc_mir_dataflow::impls::OnMutBorrow

struct OnMutBorrow<F>(F);

Tuple Fields

0: F

Trait Implementations

impl<F> Visitor<'_> for OnMutBorrow<F> where
    F: FnMut(&Place<'_>), 

fn visit_rvalue(&mut self, rvalue: &Rvalue<'_>, location: Location)

fn visit_body(&mut self, body: &Body)

fn visit_basic_block_data(&mut self, block: BasicBlock, data: &BasicBlockData)

fn visit_source_scope_data(&mut self, scope_data: &SourceScopeData)

fn visit_statement(&mut self, statement: &Statement, location: Location)

fn visit_assign(&mut self, place: &Place, rvalue: &Rvalue, location: Location)

fn visit_terminator(&mut self, terminator: &Terminator, location: Location)

fn visit_assert_message(
    &mut self,
    msg: &AssertKind<Operand>,
    location: Location
)

fn visit_operand(&mut self, operand: &Operand, location: Location)

fn visit_ascribe_user_ty(
    &mut self,
    place: &Place,
    variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn visit_coverage(&mut self, coverage: &Coverage, location: Location)

fn visit_retag(&mut self, kind: &RetagKind, place: &Place, location: Location)

fn visit_place(
    &mut self,
    place: &Place,
    context: PlaceContext,
    location: Location
)

fn visit_projection(
    &mut self,
    place_ref: PlaceRef,
    context: PlaceContext,
    location: Location
)

fn visit_projection_elem(
    &mut self,
    local: Local,
    proj_base: &[ProjectionElem<Local, &TyS>],
    elem: ProjectionElem<Local, &TyS>,
    context: PlaceContext,
    location: Location
)

fn super_place(
    &mut self,
    place: &Place,
    context: PlaceContext,
    location: Location
)

fn super_projection(
    &mut self,
    place_ref: PlaceRef,
    context: PlaceContext,
    location: Location
)

fn super_projection_elem(
    &mut self,
    _local: Local,
    _proj_base: &[ProjectionElem<Local, &TyS>],
    elem: ProjectionElem<Local, &TyS>,
    _context: PlaceContext,
    location: Location
)

fn visit_constant(&mut self, constant: &Constant, location: Location)

fn visit_span(&mut self, span: &Span)

fn visit_source_info(&mut self, source_info: &SourceInfo)

fn visit_ty(&mut self, ty: &TyS, TyContext)

fn visit_user_type_projection(&mut self, ty: &UserTypeProjection)

fn visit_user_type_annotation(
    &mut self,
    index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation
)

fn visit_region(&mut self, region: &&RegionKind, Location)

fn visit_const(&mut self, constant: &&Const, Location)

fn visit_substs(&mut self, substs: &&List<GenericArg>, Location)

fn visit_local_decl(&mut self, local: Local, local_decl: &LocalDecl)

fn visit_var_debug_info(&mut self, var_debug_info: &VarDebugInfo)

fn visit_local(
    &mut self,
    _local: &Local,
    _context: PlaceContext,
    _location: Location
)

fn visit_source_scope(&mut self, scope: &SourceScope)

fn super_body(&mut self, body: &Body)

fn super_basic_block_data(&mut self, block: BasicBlock, data: &BasicBlockData)

fn super_source_scope_data(&mut self, scope_data: &SourceScopeData)

fn super_statement(&mut self, statement: &Statement, location: Location)

fn super_assign(&mut self, place: &Place, rvalue: &Rvalue, location: Location)

fn super_terminator(&mut self, terminator: &Terminator, location: Location)

fn super_assert_message(
    &mut self,
    msg: &AssertKind<Operand>,
    location: Location
)

fn super_rvalue(&mut self, rvalue: &Rvalue, location: Location)

fn super_operand(&mut self, operand: &Operand, location: Location)

fn super_ascribe_user_ty(
    &mut self,
    place: &Place,
    _variance: &Variance,
    user_ty: &UserTypeProjection,
    location: Location
)

fn super_coverage(&mut self, _coverage: &Coverage, _location: Location)

fn super_retag(&mut self, _kind: &RetagKind, place: &Place, location: Location)

fn super_local_decl(&mut self, local: Local, local_decl: &LocalDecl)

fn super_var_debug_info(&mut self, var_debug_info: &VarDebugInfo)

fn super_source_scope(&mut self, _scope: &SourceScope)

fn super_constant(&mut self, constant: &Constant, location: Location)

fn super_span(&mut self, _span: &Span)

fn super_source_info(&mut self, source_info: &SourceInfo)

fn super_user_type_projection(&mut self, _ty: &UserTypeProjection)

fn super_user_type_annotation(
    &mut self,
    _index: UserTypeAnnotationIndex,
    ty: &CanonicalUserTypeAnnotation
)

fn super_ty(&mut self, _ty: &TyS)

fn super_region(&mut self, _region: &&RegionKind)

fn super_const(&mut self, _const: &&Const)

fn super_substs(&mut self, _substs: &&List<GenericArg>)

fn visit_location(&mut self, body: &Body, location: Location)

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.