> > Definitely. And what about @deprecated and @override?
As override is now required, i don't think it should be an attribute.
> > Definitely. And what about @deprecated and @override?
As override is now required, i don't think it should be an attribute.