Struct rustc_trans::middle::traits::FulfillmentErrorExperimental

pub struct FulfillmentError<'tcx> {
    pub obligation: Obligation<'tcx, Predicate<'tcx>>,
    pub code: FulfillmentErrorCode<'tcx>,
}

Fields

obligation
code

Methods

impl<'tcx> FulfillmentError<'tcx>

fn is_overflow(&self) -> bool

Trait Implementations

impl<'tcx> Repr<'tcx> for FulfillmentError<'tcx>

fn repr(&self, tcx: &ctxt<'tcx>) -> String