Unable to narrow down return type of an inherited method using stubs

[iVovolk]

Hello, and thank you all for the great work! I'm at the very beginning of being familiar with phpstan.

I have a pretty straightforward piece of code here, fighting with which i've spent quite some time.

https://phpstan.org/r/79430b02-de77-4af5-84b1-81e272c2d58b

It's Yii2.
I've tried to get rid of the error using stubs.
I have two files valid and registered in a config.

<?php declare(strict_types=1);

namespace yii\base {
    class View
    {}
}

namespace yii\web {
    class View extends \yii\base\View
    {}
}

and

<?php declare(strict_types=1);

namespace yii\base {
    class Controller
    {
        /** @return \yii\web\View | \yii\base\View */
        public function getView();
    }
}

namespace yii\web {

    class Controller extends \yii\base\Controller
    {
        /**
         * @return \yii\web\View
         */
        public function getView();
    }
}

It did not work. And it did not matter whether i extended \yii\base\Controller in stubs or not

Then i changed child Controller to be

namespace yii\web {

    /**
     * @method \yii\web\View getView()
     */
    class Controller extends \yii\base\Controller
    {
    }
}

And it did work.
And this place is not the only where i'm having similar problems.
I've tried 2 yii2 specific extensions and neither helped.

What am i missing about stubs, inheritance and return types?

[ondrejmirtes]

Method yii\web\Controller::getView() does not actually exist (https://github.com/yiisoft/yii2/blob/master/framework/web/Controller.php) so that's why this stub in PHPStan does not have any effect.

[iVovolk]

Okay, thank you