[−][src]Type Definition rustc_mir::dataflow::impls::borrowed_locals::MaybeMutBorrowedLocals

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

Implementations

impl<'mir, 'tcx> MaybeMutBorrowedLocals<'mir, 'tcx>[src]

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

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>[src]