Trait rustc_mir::dataflow::impls::borrowed_locals::BorrowAnalysisKind[−][src]

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

Loading content...

Required methods

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

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

Loading content...

Implementors

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

const ANALYSIS_NAME: &'static str[src]

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

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

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

const ANALYSIS_NAME: &'static str[src]

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

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

Loading content...