The parser doesn't distinguish `nothrow: invariant() { }` and `nothrow invariant() { }`. How to resolve that?