pub trait TraitEngineExt<'tcx> {
    // Required method
    fn new(infcx: &InferCtxt<'tcx>) -> Box<Self>;
}

Required Methods§

source

fn new(infcx: &InferCtxt<'tcx>) -> Box<Self>

Implementors§

source§

impl<'tcx> TraitEngineExt<'tcx> for dyn TraitEngine<'tcx>