1--TEST--
2Private property with final hook
3--FILE--
4<?php
5
6class Test {
7    private $prop { final get; }
8}
9
10?>
11--EXPECTF--
12Fatal error: Property hook cannot be both final and private in %s on line %d
13