rapx::analysis::opt

Trait OptCheck

source 
pub trait OptCheck {
    // Required methods
    fn new() -> Self;
    fn check(&mut self, graph: &Graph, tcx: &TyCtxt<'_>);
    fn report(&self, graph: &Graph);
}

Required Methods§

source

fn new() -> Self

source

fn check(&mut self, graph: &Graph, tcx: &TyCtxt<'_>)

source

fn report(&self, graph: &Graph)

Object Safety§

This trait is not object safe.

Implementors§