I think this is something the optimizer could use to eliminate an "ordinary" return that happens to be followed by a call to a known set of something elses. So it might well help things like switch statements and cascaded function calls and tail recursion (and maybe invocation of autoloaded functions, a la goto &foo). But I doubt we should go out of our way to introduce special syntax for it.
Larry