Final projection used by whole-program artifact roots. Failure stays
fail-closed: the compiler's direct artifact writer rejects the empty value
as a non-ELF instead of executing a generated emitter to discover it later.
566def nativePhysicalNativeELFResultBytes =
567 (lambda unrestricted result : (family NativePhysicalNativeELFResult) .
568 (eliminate
569 NativePhysicalNativeELFResult
570 (lambda unrestricted current : (family NativePhysicalNativeELFResult) . Bytes)
571 result
572 (branch
573 NativePhysicalNativeELFGenerated
574 artifact
575 successTelemetry
576 .
577 (eliminate
578 NativePhysicalNativeELFArtifact
579 (lambda unrestricted current : (family NativePhysicalNativeELFArtifact) . Bytes)
580 artifact
581 (branch
582 NativePhysicalNativeELFArtifactValue
583 elfBytes
584 codeBytes
585 imageBytes
586 machineBytes
587 identity
588 codeSHA
589 imageSHA
590 machineSHA
591 elfSHA
592 commandCount
593 telemetry
594 .
595 elfBytes)))
596 (branch NativePhysicalNativeELFGenerationFailed error telemetry . b"")))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.