all annotation classes are final currently to avoid weird issues: if you have a annotation extending another annotation, you cannot ask the reader whether the class uses the parent annotation as it will also detect the child one for it. People generally don't extpect to have inheritance from an annotation to another one when using annotations in their phpdoc IMO.