Function fulfillment_error_for_overflow 

fn fulfillment_error_for_overflow<'db>(
    infcx: &InferCtxt<'db>,
    root_obligation: Obligation<'db, Predicate<'db>>,
) -> FulfillmentError<'db>