462def vaCommitFailure =
463 (lambda unrestricted pending : (family VAPendingReservation) .
464 (lambda unrestricted code : (family VAErrorCode) .
465 (eliminate
466 VAPendingReservation
467 (lambda unrestricted current : (family VAPendingReservation) . (family VACommitResult))
468 pending
469 (branch
470 VAPendingReservationValue
471 eventIndex
472 original
473 allocation
474 .
475 (eliminate
476 VAAllocator
477 (lambda unrestricted current : (family VAAllocator) . (family VACommitResult))
478 original
479 (branch
480 VAAllocatorValue
481 inputNext
482 .
483 (eliminate
484 VAAllocation
485 (lambda unrestricted current : (family VAAllocation) . (family VACommitResult))
486 allocation
487 (branch
488 VAAllocationValue
489 start
490 extent
491 alignment
492 following
493 .
494 (constructor
495 VACommitResult
496 VACommitFailed
497 code
498 original
499 (vaTelemetryFailed eventIndex inputNext extent code))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.