1--TEST--
2Set hook value param must not have a default value
3--FILE--
4<?php
5
6class B {
7    public $x {
8        set($value = null) {
9            $field = $value;
10        }
11    }
12}
13
14?>
15--EXPECTF--
16Fatal error: Parameter $value of set hook B::$x must not have a default value in %s on line %d
17