On 4/10/2017 2:44 PM, Jonathan Marler wrote:
Another way to think of it is that this proposal makes "throw new" into a
special operator that is different than composing the "throw" and "new"
operations independently. Once you realize this it's easy to understand and
explain to others as well, i.e.
"throw" operator (throw a Throwable object)
"new" operator (create a GC object)
"throw new" operator (create and throw a reference-counted Throwable object)
That's right. Thanks for helping out, your explanations are better than mine!
(Once I realized this myself, the implementation got a lot simpler.)
