Improve trait and static/self types

Jean-FrancoisHIVERT

Hi,

I found a bug or a use case that can be improved:

<?php

declare(strict_types=1);

namespace Devsense\Common\Trait1;

trait MyTrait
{
    public static function factory1(): int
    {
        $self = new self();
        return $self->test();
    }

    public static function factory2(): int
    {
        $static = new static();
        return $static->test();
    }

    public function test(): int
    {
        return 0;
    }
}

The test() function calls are not resolved.

Thank you for your fix.

JakubMisek

Jean-FrancoisHIVERT, thank you for the test case.

We allowed that a variable (i.e., $self) can be a trait type (which cannot happen at runtime). It will improve IntelliSense.

There may be some consequences, such as false warnings, though. So we'll need to fix those as they come.

Jean-FrancoisHIVERT

Thank you, I will test this release