An interesting idea; it could be extended to other constructs - assignments, method calls... Also, imagine having something like this:

  while (!return? foo) {
    foo = get_foo();
  }