Bug report

Hello. This is a similar problem to an issue described in #3411. But in my case the base class is the built-in class of php. That is if in a trait is declared an abstract method with the same signature as in some built-in class and after that the trait is used in a class that extends that built-in class, there will be a notice "Non-abstract class contains abstract method bug in case of built-in classes".

Code snippet that reproduces the problem

https://phpstan.org/r/0a5df689-daa3-4f42-ac3b-ab7245cdbbcc

Expected output

As far as I understand this case shouldn't be the error.