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

Loading content...

Required methods

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

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

Loading content...

Implementors

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

const ANALYSIS_NAME: &'static str

fn in_ref(&self, _: BorrowKind, _: Place<'_>) -> bool

fn in_address_of(&self, _: Mutability, _: Place<'_>) -> bool

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

Loading content...