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>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so 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>>,