pub trait InferCtxtSelectExt<'tcx> {
// Required method
fn select_in_new_trait_solver(
&self,
obligation: &TraitObligation<'tcx>,
) -> SelectionResult<'tcx, Selection<'tcx>>;
}
Required Methods§
Sourcefn select_in_new_trait_solver(
&self,
obligation: &TraitObligation<'tcx>,
) -> SelectionResult<'tcx, Selection<'tcx>>
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
.