Trait rustc_mir::dataflow::impls::borrowed_locals::BorrowAnalysisKind

pub trait BorrowAnalysisKind<'tcx> {
    const ANALYSIS_NAME: &'static str;

    fn in_address_of(&self, mt: Mutability, place: Place<'tcx>) -> bool;
    fn in_ref(&self, kind: BorrowKind, place: Place<'tcx>) -> bool;
}

Associated Constants

const ANALYSIS_NAME: &'static str

Required methods

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

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

Implementors

impl<'tcx> BorrowAnalysisKind<'tcx> for AnyBorrow

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