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

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: 24 bytes