Struct ObligationCause 

pub struct ObligationCause {
    span: Span,
}

The reason why we incurred this obligation; used for error reporting.

Fields

span: Span

Implementations

impl ObligationCause

pub fn new<S>(span: S) -> ObligationCause

where S: Into<Span>,

pub fn dummy() -> ObligationCause

Trait Implementations

impl Clone for ObligationCause

fn clone(&self) -> ObligationCause

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ObligationCause

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

Formats the value using the given formatter.

impl PartialEq for ObligationCause

fn eq(&self, other: &ObligationCause) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> TypeFoldable<DbInterner<'db>> for ObligationCause

fn try_fold_with<__F>( self, __folder: &mut __F, ) -> Result<ObligationCause, <__F as FallibleTypeFolder<DbInterner<'db>>>::Error>

where __F: FallibleTypeFolder<DbInterner<'db>>,

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<__F>(self, __folder: &mut __F) -> ObligationCause

where __F: TypeFolder<DbInterner<'db>>,

The entry point for folding. To fold a value t with a folder f call: t.fold_with(f).

impl<'db> TypeVisitable<DbInterner<'db>> for ObligationCause

fn visit_with<__V>( &self, __visitor: &mut __V, ) -> <__V as TypeVisitor<DbInterner<'db>>>::Result

where __V: TypeVisitor<DbInterner<'db>>,

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl Copy for ObligationCause

impl Eq for ObligationCause

impl StructuralPartialEq for ObligationCause