The philosophy of Nothing

[Paul Benedict]

Thanks Neal. Reiner, your explanation was very good.

So basically Nothing can be used outside of closures:
public Nothing throwMe(RuntimeException t) {
    throw t;
}

1) Does the Java compiler have to prove a method can never return normally?

2) What is the benefit of telling the compiler the method *must* throw
an Exception? Don't say read the spec :-) I did, but it's sparse on
the purpose

3) For a method that returns Nothing, if a class transformer alters
the method body and actually issues a return, what happens? is a JVM
Error thrown?

Paul