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

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

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

Associated Constants

pub const ANALYSIS_NAME: &'static str

Loading content...

Required methods

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

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

Loading content...

Implementors

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

pub const ANALYSIS_NAME: &'static str

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

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

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

pub const ANALYSIS_NAME: &'static str

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

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

Loading content...