<?php class A { public ?int $var; } $a = new A(); var_dump(isset($a->var));
You have javascript disabled. You will not be able to edit any code.