Bug report

I think similar to how phpstan errors about @final at class level, it should also do so on the method level

Code snippet that reproduces the problem

https://phpstan.org/r/30108d29-01b6-4f22-91b2-72cb6fdabd44

Expected output

error about a method overriding a @final base-method