Trait rustc_infer::infer::error_reporting::ObligationCauseExt

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

Loading content...

Implementors

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

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

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

Loading content...