1--TEST--
2Virtual properties cannot have default value
3--FILE--
4<?php
5
6class Test {
7    public $prop = 0 {
8        get {}
9        set {}
10    }
11}
12
13?>
14--EXPECTF--
15Fatal error: Cannot specify default value for virtual hooked property Test::$prop in %s on line %d
16