Trait rustc_trait_selection::error_reporting::traits::ambiguity::TypeErrCtxtAmbiguityExt

pub trait TypeErrCtxtAmbiguityExt<'a, 'tcx> {
    // Required methods
    fn maybe_report_ambiguity(
        &self,
        obligation: &PredicateObligation<'tcx>,
    ) -> ErrorGuaranteed;
    fn annotate_source_of_ambiguity(
        &self,
        err: &mut Diag<'_>,
        ambiguities: &[CandidateSource],
        predicate: Predicate<'tcx>,
    );
}

Required Methods

fn maybe_report_ambiguity( &self, obligation: &PredicateObligation<'tcx>, ) -> ErrorGuaranteed

fn annotate_source_of_ambiguity( &self, err: &mut Diag<'_>, ambiguities: &[CandidateSource], predicate: Predicate<'tcx>, )

Implementations on Foreign Types

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

fn maybe_report_ambiguity( &self, obligation: &PredicateObligation<'tcx>, ) -> ErrorGuaranteed

fn annotate_source_of_ambiguity( &self, err: &mut Diag<'_>, ambiguities: &[CandidateSource], predicate: Predicate<'tcx>, )

Implementors