Trait rustc_trait_selection::infer::error_reporting::ObligationCauseExt

pub trait ObligationCauseExt<'tcx> {
    // Required methods
    fn as_failure_code(&self, terr: TypeError<TyCtxt<'tcx>>) -> FailureCode;
    fn as_failure_code_diag(
        &self,
        terr: TypeError<TyCtxt<'tcx>>,
        span: Span,
        subdiags: Vec<TypeErrorAdditionalDiags>,
    ) -> ObligationCauseFailureCode;
    fn as_requirement_str(&self) -> &'static str;
}

Required Methods

fn as_failure_code(&self, terr: TypeError<TyCtxt<'tcx>>) -> FailureCode

fn as_failure_code_diag( &self, terr: TypeError<TyCtxt<'tcx>>, span: Span, subdiags: Vec<TypeErrorAdditionalDiags>, ) -> ObligationCauseFailureCode

fn as_requirement_str(&self) -> &'static str

Implementors

impl<'tcx> ObligationCauseExt<'tcx> for ObligationCause<'tcx>