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

Loading content...

Required methods

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

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

Loading content...

Implementors

impl<'tcx> BorrowAnalysisKind<'tcx> for AnyBorrow[src]

impl<'tcx, 'mir> BorrowAnalysisKind<'tcx> for MutBorrow<'mir, 'tcx>[src]

Loading content...