Bug report

When a class is defined in universalObjectCratesClasses, any @property annotations on it, or subclasses of it, are ignored, and the mixed type returned instead.

Code snippet that reproduces the problem

Cannot reproduce on playground as it requires a particular configuration.

Expected output

It would be great if the mixed type from being a universalObjectCrate took the lowest precedence, and is only returned if PHPStan knows nothing else about the property.