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.