Struct rustc_infer::traits::FulfillmentError

pub struct FulfillmentError<'tcx> {
    pub obligation: PredicateObligation<'tcx>,
    pub code: FulfillmentErrorCode<'tcx>,
    pub points_at_arg_span: bool,
}

Fields

obligation: PredicateObligation<'tcx>

code: FulfillmentErrorCode<'tcx>

points_at_arg_span: bool

Diagnostics only: we opportunistically change the code.span when we encounter an obligation error caused by a call argument. When this is the case, we also signal that in this field to ensure accuracy of suggestions.

Implementations

impl<'tcx> FulfillmentError<'tcx>

pub fn new(
    obligation: PredicateObligation<'tcx>,
    code: FulfillmentErrorCode<'tcx>
) -> FulfillmentError<'tcx>

Trait Implementations

impl<'tcx> Debug for FulfillmentError<'tcx>

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 136 bytes