Invalid linter:no-redundant-method-override in special case

[Plastonick]

Description

In some cases, we might have to override the parent method to narrow the type signature. Not doing so would be a PHP fatal error. That parent may be a vendored class so isn't itself alterable. Mago linter however emits a no-redundant-method-override and doesn't recognise that it's not redundant.

Playground Link

https://mago.carthage.software/1.45.0/en/playground/#019fcd5e-5d98-e41b-aba3-01149d1ed443

Reproduction

No response

Environment

Replicated on the playground.

[azjezz]

I think this is something we can't really allow in the linter. What you could do here i simply suppress the issue: https://mago.carthage.software/1.45.0/en/playground/#019fecca-a2d6-8875-165e-5575216d786d

The reason is that the linter has no idea what the parents look like, as it operates on a single file at the time, seeing only the AST, unlike the analyzer that has a complete world view.