Error when param is typed callback

[snapshotpl]

Subject	Details
Rector version	e.g. v0.6.14 (invoke vendor/bin/rector --version)
PHP version	e.g. PHP 7.4.2 (invoke php -v)
Demo link	https://getrector.org/demo/ea80a2fb-2646-4af9-b8f6-8617ef6bc0be

[TomasVotruba]

What kind of format is that? I never so it before and it doesn't resemble any PHPStorm nor PHPStan format I know

What's the expected output?

[snapshotpl]

https://psalm.dev/docs/annotating_code/type_syntax/callable_types/

It this case should change any thing because property cannot be typed as callable. But it can be Closure and then type should be moved to native notation:

<?php

class CallableParam
{
    /** @var Closure():int */
    protected Closure $param;
}

[TomasVotruba]

I see. Rector uses PHPStan to analyse types, so this will be evaluated as mixed

[snapshotpl]

I understand. But is there any chance to fix this error?

[TomasVotruba]

Yes, it will be reported as mixed though.
I'll look on it now

[snapshotpl]

@TomasVotruba Now rector remove all type details about callable
https://getrector.org/demo/2d246607-7763-4235-822b-a9b702fdd577#result

[snapshotpl]

@TomasVotruba This example should working now on demo?

Anyway I have update to current master and rector still removes this types.