Type Definition rustc_mir_dataflow::impls::MaybeMutBorrowedLocals

pub type MaybeMutBorrowedLocals<'mir, 'tcx> = MaybeBorrowedLocals<MutBorrow<'mir, 'tcx>>;

Implementations

impl<'mir, 'tcx> MaybeMutBorrowedLocals<'mir, 'tcx>

pub fn mut_borrows_only(
    tcx: TyCtxt<'tcx>,
    body: &'mir Body<'tcx>,
    param_env: ParamEnv<'tcx>
) -> Self

A dataflow analysis that records whether a pointer or reference exists that may mutably alias the given local.

This includes &mut and pointers derived from an &mut, as well as shared borrows of types with interior mutability.

Trait Implementations

impl<'tcx> RustcPeekAt<'tcx> for MaybeMutBorrowedLocals<'_, 'tcx>

fn peek_at(
    &self,
    tcx: TyCtxt<'tcx>,
    place: Place<'tcx>,
    flow_state: &BitSet<Local>,
    call: PeekCall
)