Struct rustc_mir::dataflow::impls::borrowed_locals::MutBorrow

pub struct MutBorrow<'mir, 'tcx> {
    tcx: TyCtxt<'tcx>,
    body: &'mir Body<'tcx>,
    param_env: ParamEnv<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

body: &'mir Body<'tcx>

param_env: ParamEnv<'tcx>

Implementations

impl<'mir, 'tcx> MutBorrow<'mir, 'tcx>

fn shared_borrow_allows_mutation(&self, place: Place<'tcx>) -> bool

& and &raw only allow mutation if the borrowed place is !Freeze.

This assumes that it is UB to take the address of a struct field whose type is Freeze, then use pointer arithmetic to derive a pointer to a different field of that same struct whose type is !Freeze. If we decide that this is not UB, we will have to check the type of the borrowed local instead of the borrowed place below. See rust-lang/unsafe-code-guidelines#134.

Trait Implementations

impl<'tcx, 'mir> BorrowAnalysisKind<'tcx> for MutBorrow<'mir, 'tcx>

const ANALYSIS_NAME: &'static str

fn in_ref(&self, kind: BorrowKind, place: Place<'tcx>) -> bool

fn in_address_of(&self, mt: Mutability, place: Place<'tcx>) -> bool