Trait rustc_trait_selection::error_reporting::traits::fulfillment_errors::TypeErrCtxtSelectionErrExt

pub trait TypeErrCtxtSelectionErrExt<'a, 'tcx> {
    // Required method
    fn report_selection_error(
        &self,
        obligation: PredicateObligation<'tcx>,
        root_obligation: &PredicateObligation<'tcx>,
        error: &SelectionError<'tcx>,
    ) -> ErrorGuaranteed;
}

Required Methods

fn report_selection_error( &self, obligation: PredicateObligation<'tcx>, root_obligation: &PredicateObligation<'tcx>, error: &SelectionError<'tcx>, ) -> ErrorGuaranteed

The root_obligation parameter should be the root_obligation field from a FulfillmentError. If no FulfillmentError is available, then it should be the same as obligation.

Implementations on Foreign Types

impl<'a, 'tcx> TypeErrCtxtSelectionErrExt<'a, 'tcx> for TypeErrCtxt<'a, 'tcx>

fn report_selection_error( &self, obligation: PredicateObligation<'tcx>, root_obligation: &PredicateObligation<'tcx>, error: &SelectionError<'tcx>, ) -> ErrorGuaranteed

The root_obligation parameter should be the root_obligation field from a FulfillmentError. If no FulfillmentError is available, then it should be the same as obligation.

Implementors