A Refused value is inspectable through nativeObservedRefusalOf. Forcing it
into target emission supplies rejected IR, never an empty successful artifact
or a substitute program. The target's own validator remains authoritative.
693def nativeObservedRequireProgram =
694 (lambda unrestricted result : (family NativeObservedProgramResult) .
695 (eliminate
696 NativeObservedProgramResult
697 (lambda unrestricted current : (family NativeObservedProgramResult) .
698 (family NativePhysicalProgram))
699 result
700 (branch NativeObservedProgramReady program . program)
701 (branch
702 NativeObservedProgramRefused
703 reason
704 .
705 (constructor
706 NativePhysicalProgram
707 NativePhysicalProgramValue
708 0
709 0
710 (constructor NativePhysicalCommands NativePhysicalCommandsEnd)
711 0
712 (nativeTelemetryFailureIdentity
713 (bytes-append b"observed-program:declaration-refused:" reason))
714 0))))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.