1--TEST--
2__get first parameter should be a string when typed
3--FILE--
4<?php
5class Foo {
6    function __get(int $name) {}
7}
8?>
9--EXPECTF--
10Fatal error: Foo::__get(): Parameter #1 ($name) must be of type string when declared in %s on line %d
11