The stop of the run that installed a detour: what the branches could not
settle — the platform's typed refusal (Android: UnexpectedScreenError), a
branch's own error, a challenge step the platform does not model — carried
out of the interrupted effect as a defect, so the effect's declared type is
not widened with it. failure is the call's typed failure, the same object.
One reading, otherwiseDispatchStopOf, turns it back into that failure,
wherever the stop surfaces: the run reads it from main's exit (and the
start's), and the process's background set reads it from a tail fiber's
cause and ends the process with it (MobileProcessBackground.handOver), so a
tail request whose challenge the branches cannot settle stops main and
rejects the call with the same typed failure as an action's would.
The stop of the run that installed a detour: what the branches could not settle — the platform's typed refusal (Android:
UnexpectedScreenError), a branch's own error, a challenge step the platform does not model — carried out of the interrupted effect as a defect, so the effect's declared type is not widened with it.failureis the call's typed failure, the same object.One reading, otherwiseDispatchStopOf, turns it back into that failure, wherever the stop surfaces: the run reads it from
main's exit (and the start's), and the process's background set reads it from a tail fiber's cause and ends the process with it (MobileProcessBackground.handOver), so a tail request whose challenge the branches cannot settle stopsmainand rejects the call with the same typed failure as an action's would.