Typed properties: conflict with @var in non-existent phpdoc

[rainbow-alex]

Bug report

Code snippet that reproduces the problem

<?php

namespace Foo;

class Bar
{
    private \stdClass $test;
}

(playground does not yet support 7.4)

7 PHPDoc tag @var for property Foo\Bar::$test with type mixed is not subtype of native type stdClass.

Expected output

No errors reported.

[mergeable]

This bug report is missing a link to reproduction on phpstan.org.
It will most likely be closed after manual review.

[rainbow-alex]

When I add /** @var \stdClass */, the error goes away, but I obviously don't want to have to add these redundant doc comments everywhere...

[ondrejmirtes]

Yes, this is a bug, thank you. Somehow it didn't occur to me to test this scenario in the right rule :)

[ondrejmirtes]

Fixed, thanks! 89cf4b1