Struct FulfillmentError 

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

Fields

obligation: Obligation<'db, Predicate<'db>>

code: FulfillmentErrorCode<'db>

root_obligation: Obligation<'db, Predicate<'db>>

Diagnostics only: the ‘root’ obligation which resulted in the failure to process obligation. This is the obligation that was initially passed to register_predicate_obligation

Implementations

impl<'db> FulfillmentError<'db>

pub fn new( obligation: Obligation<'db, Predicate<'db>>, code: FulfillmentErrorCode<'db>, root_obligation: Obligation<'db, Predicate<'db>>, ) -> FulfillmentError<'db>

pub fn is_true_error(&self) -> bool

Trait Implementations

impl<'db> Debug for FulfillmentError<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.