php-language-server/tests/Validation/cases/classDefinition1.php

<?php

namespace TestNamespace;

$a = new A;

echo $a->a;

class A {
    public $a = 3;
}