<?php
class Foo {
    function __get(int $name) {}
}
?>