Bug report

Hello!

This is a continuation of your comment #12846 (comment). I realized there was some missing context (from #13413 (comment)): the parent Model does have the __get/__set magic methods.

According to the docs, a class should have one of the following (meaning that a class does not need both __get/__set and #[AllowDynamicProperties]):

Code snippet that reproduces the problem

https://phpstan.org/r/e18903ef-3a44-4d9a-a9b4-a6edb57bb8e1

Expected output

I would expect there not to be any errors, and I would expect to not have to add #[AllowDynamicProperties] to the final model since the parent Model has __get()/__set()

Thanks!

Did PHPStan help you today? Did it make you happy in any way?

No response