Improve class-string type

Jean-FrancoisHIVERT

Hi,

We can improve the class-type type like that:

<?php

declare(strict_types=1);

namespace Devsense\Builtin\ClassTest;

use stdClass;

// Should be  resolved to class-string<stdClass>
$test = stdClass::class;

if($test === stdClass::class) {
    // Should be resolved to stdClass
    $a = new $test();
}

if(is_a($test, stdClass::class, true)) {
    // Should be resolved to stdClass
    $a = new $test();
}

if(is_subclass_of($test, stdClass::class)) {
    // Should be resolved to stdClass
    $a = new $test();
}

Thank you.

JakubMisek

Jean-FrancoisHIVERT Thank you for the code sample.

Implemented, and most of it will be available in the next update.

We'll consider making the more detailed type analysis configurable tho.