Class #[\Override] brought in PHP8.3 shouldn't be reported in Previous PHP versions

[jcvignoli]

When using class #[\Override] with PHP < 8.3, phan complains about a PhanUndeclaredClassAttribute error. The all point of those classes is to be ignored by previous PHP versions.

I usually work with a local in PHP8.2, but I develop for PHP8.3 environment, so I would appreciate not to need to escape these false positives.

Using:
Phan 5.4.3
php-ast version 1.1.1
PHP version used to run Phan: 8.2.14