Trait InferCtxtSelectExt

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

Required Methods

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

Implementors

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