fn fulfillment_error_for_stalled<'tcx>(
    infcx: &InferCtxt<'tcx>,
    obligation: PredicateObligation<'tcx>
) -> FulfillmentError<'tcx>