Reflection-based TypeResolver

[vudaltsov]

/**
 * @psalm-type A = B
 * @psalm-type B = self::MIN
 */
final class MyClass
{
    public const MIN = -100;
    public const MAX = 200;

    public const MASK_1 = 1;
    public const MASK_2 = 2;
    public const MASK_4 = 4;

    /**
     * @var int<A, self::MAX>
     */
    public int $x;

    /**
     * @var self::MASK_*
     */
    public int $mask;
}

$reflector = TyphoonReflector::build();
$class = $reflector->reflectClass(MyClass::class);

echo stringify($class->properties()['x']->type()->accept(new ExternalTypeResolver($reflector))), PHP_EOL;
// int<-100, 200>

echo stringify($class->properties()['mask']->type()->accept(new ExternalTypeResolver($reflector))), PHP_EOL;
// 1|2|4