How to resolve a type of an inheritetd property

[iVovolk]

Hello,
this may look like #11007 but it's not

https://phpstan.org/r/1672ec76-63cb-4bcf-af99-dc4df6421f64

Yii2 does not have a \yii\web\Action to take advantage of in this case.
I've read through conditional-return-types, but we do not have a flag or a param to make a decision.
I've also found custom type checking functions and methods, but $this->controller does not depend on a specific call.

$this->controller does depend on a type of application (\yii\web\Application | \yii\console\Application ) and more specifically on a type of a controller (\yii\base\Controller | \yii\web\Controller | \yii\rest\Controller) it is being used in.

I think that maybe some kind of a Properties class reflection extensions might help, but i'm not sure it is really designed for this kind of cases.

Obviously, i need some kind of custom rule or an extension. But i have no idea what exactly i'm looking for.

Please advise how you would solve this problem, maybe with some examples to look into. Thanks.

The best approach i've come up with is to somehow find a controller which uses an Action, check what type of \yii\{}\Controller the Controller is extending and based on that knowladge resolve a type of the property \yii\base\Action:$controller:

[ondrejmirtes]

You can use this extension to basically override anything: https://apiref.phpstan.org/1.11.x/PHPStan.Type.ExpressionTypeResolverExtension.html

If you want to override the type of property, write some logic if PropertyFetch is given as the $expr parameter. Otherwise return null.

[iVovolk]

That worked, thank you!
And as far as i understand currentlry there is no way of knowing in which classes analyzed class is being used? Due to parallel running in multiple processes

[ondrejmirtes]

Well it's available in ClassReflection::getFileName() but PHPStan doesn't show that, I don't see a practical way to do that.

[iVovolk]

Got it, thanks again!