Trait rustc_infer::infer::error_reporting::ObligationCauseExt

source · [−]

pub trait ObligationCauseExt<'tcx> {
    fn as_failure_code(&self, terr: TypeError<'tcx>) -> FailureCode;
    fn as_requirement_str(&self) -> &'static str;
}

Required Methods

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

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

Implementors

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