Remove type from templated value

[snapshotpl]

Bug report

I want to cut off null type when use template from callable return type.

I don't if my solution is right, however in psalm this one works fine.

https://phpstan.org/r/f606a5ab-8e8d-4e2a-a04c-8ac7991f947a

Expected output

No error

[ondrejmirtes]

This is similar to: #3623

[ondrejmirtes]

This is similar to: #3623

[phpstan-bot]

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

@@ @@
-PHP 7.4 – 8.0 (1 error)
+PHP 7.4 – 8.0
 ==========
 
-16: Method NestedContainerAbstractFactory::canCreate() should return bool but returns bool|null.
+No errors
 
 PHP 7.1 – 7.3 (1 error)
 ==========
 
 14: Syntax error, unexpected T_VARIABLE, expecting ')' on line 14

Full report

PHP 7.4 – 8.0

No errors

PHP 7.1 – 7.3 (1 error)

Line	Error
14	Syntax error, unexpected T_VARIABLE, expecting ')' on line 14

[ondrejmirtes]

Fixed: phpstan/phpstan-src@a1b7b38

[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.