I agree that the overlap with process-level abort is the main downside to abort!. I still think dealing with that ambiguity is easier than ambiguity around “failure” (again, since Result is becoming increasingly common), though.
@brson, what do you think about panic! or die!? (To me, I’d expect that latter to be the same as process abort, though…)