This is worse than before. It will break existing code, such as:

```
class C {
nothrow:
    /* many methods */

    invariant() { ... }  // impliitly annotated with nothrow
}