rapx::analysis::rcanary

Trait Rcx

source
pub trait Rcx<'tcx, 'o, 'a> {
    // Required methods
    fn rcx(&'o self) -> &'a rCanary<'tcx>;
    fn tcx(&'o self) -> TyCtxt<'tcx>;
}

Required Methods§

source

fn rcx(&'o self) -> &'a rCanary<'tcx>

source

fn tcx(&'o self) -> TyCtxt<'tcx>

Implementors§

source§

impl<'tcx, 'ctx, 'o, 'a> Rcx<'tcx, 'o, 'a> for IntraFlowAnalysis<'tcx, 'ctx, 'a>