> 
> Definitely. And what about @deprecated and @override?

As override is now required, i don't think it should be an attribute.

Reply via email to