rustc_trait_selection::traits::engine

Trait TraitEngineExt

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

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<'tcx, E> TraitEngineExt<'tcx, E> for dyn TraitEngine<'tcx, E>
where E: FromSolverError<'tcx, NextSolverError<'tcx>> + FromSolverError<'tcx, OldSolverError<'tcx>>,