Bug report

as trait may but also may not override an method, the checkMissingOverrideMethodAttribute must not any error

the perfect solution would be if target base class/classes/type could be specified above the trait, not sure if this is already supported by phpstan or not

Code snippet that reproduces the problem

https://phpstan.org/r/89972c13-a8a5-448f-a959-5ce8ea09654d

Expected output

no error (online repro does not allow to set checkMissingOverrideMethodAttribute: true)