Skip to main content

InferCtxtSelectExt

Trait InferCtxtSelectExt 

Source
pub trait InferCtxtSelectExt<'tcx> {
    // Required method
    fn select_in_new_trait_solver(
        &self,
        obligation: &TraitObligation<'tcx>,
    ) -> SelectionResult<'tcx, Selection<'tcx>>;
}

Required Methods§

Source

fn select_in_new_trait_solver( &self, obligation: &TraitObligation<'tcx>, ) -> SelectionResult<'tcx, Selection<'tcx>>

Do not use this directly. This is called from crate::traits::SelectionContext::select.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§

Source§

impl<'tcx> InferCtxtSelectExt<'tcx> for InferCtxt<'tcx>