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.

Implementors§

Source§

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