Assigning generic objects without constructor to nullable properties reports false positives

[dktapps]

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/708c1e20-8078-42f0-b18a-d22aaf41ea21

Expected output

No error should be reported.

[phpstan-bot]

@dktapps After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
+10: Property HelloWorld::$map is never read, only written.
 13: Property HelloWorld::$map (SplObjectStorage<DateTime, DateTimeImmutable>|null) does not accept SplObjectStorage<object, mixed>.

Full report

Line	Error
10	Property HelloWorld::$map is never read, only written.
13	`Property HelloWorld::$map (SplObjectStorage<DateTime, DateTimeImmutable>

[phpstan-bot]

@dktapps After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
+10: Property HelloWorld::$map is never read, only written.
 13: Property HelloWorld::$map (SplObjectStorage<DateTime, DateTimeImmutable>|null) does not accept SplObjectStorage<object, mixed>.

Full report

Line	Error
10	Property HelloWorld::$map is never read, only written.
13	`Property HelloWorld::$map (SplObjectStorage<DateTime, DateTimeImmutable>

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.