Trait TraitEngineExt

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementors

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

where E: FromSolverError<'tcx, NextSolverError<'tcx>> + FromSolverError<'tcx, OldSolverError<'tcx>>,