I actually wanted, and forgot, to file a bug that you can no longer override a method with one marked with nothrow. Since it only adds restrictions and is compatible with a method that throws, I think it is a good choice to support like contraverience or whichever it is. Hmm I wonder if that works with const.