Narrowing type through instanceof

[felixfbecker]

if ($node instanceof Node\Expr\Variable) {
    // would be awesome if the server now knows that $node is of type Node\Expr\Variable
}