pub trait TraitEngineExt<'tcx> {
    // Required methods
    fn new(tcx: TyCtxt<'tcx>) -> Box<Self>;
    fn new_in_snapshot(tcx: TyCtxt<'tcx>) -> Box<Self>;
}

Required Methods§

source

fn new(tcx: TyCtxt<'tcx>) -> Box<Self>

source

fn new_in_snapshot(tcx: TyCtxt<'tcx>) -> Box<Self>

Implementors§

source§

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