Proper usage of the callable lifetime tags should be enforced in static analysis

[stof]

Feature request

If @param-immediately-invoked-callable is applied on a parameter, storing the callable for later usage should report an error about this invalid usage.
Similarly, if @param-later-invoked-callable is applied on a parameter, invoking the callable immediately should report an error.

Based on the report in https://phpstan.org/r/dbc4145a-d59d-46a5-9848-2e3258f3b10d, this is not implemented yet.

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

No response

[phpstan-bot]

@stof After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
-11: PHPDoc tag @param for parameter $c with type callable is not subtype of native type Closure.
+No errors