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>

pub(in dataflow::impls::borrowed_locals) 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>

pub const ANALYSIS_NAME: &'static str

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

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