Cannot override trait method

[rosasurfer]

There already are a few issues discussing using trait and class inheritance together but it seems to me none of them really fit my observation (I may be wrong) .

I'm trying to override a trait method the way the official PHP documentation shows but PHPStan complains. Please see the example:
https://phpstan.org/r/3cd9314c-002d-4796-b9ce-4715c57650da

On 3v4l.org the code executes just fine. Any hints? Thank you.

class A {
}
class B extends A {
    public function bar() : bool {
        return true;
    }
}
trait T {
    public function bar() : bool {
        return parent::bar();
    }
}
class C extends A {
    use T;

    public function bar() : bool {
        return false;
    }
}

var_dump((new C())->bar());

[ondrejmirtes]

This is a very special case. Basically what you're asking for is: Do not analyse trait's method in a class where that method is overriden.

[ondrejmirtes]

Implemented: phpstan/phpstan-src@a2044e6

[lock]

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.
BTW: Did you know that PHPStan now has a brand new website with a user guide, guide to writing analyser-friendly PHP code, and a guide to developing PHPStan extensions? Visit phpstan.org today!