Trait ObligationCauseExt

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

Required Methods

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

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

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

Implementors

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