1--TEST--
2__set_state first parameter must be an array
3--FILE--
4<?php
5
6class Foo {
7    public static function __set_state(int $properties) {}
8}
9
10?>
11--EXPECTF--
12Fatal error: Foo::__set_state(): Parameter #1 ($properties) must be of type array when declared in %s on line %d
13