1--TEST--
2private(set) property is implicitly final
3--FILE--
4<?php
5
6class A {
7	public private(set) string $foo;
8}
9
10class B extends A {
11	public string $foo;
12}
13
14?>
15--EXPECTF--
16Fatal error: Cannot override final property A::$foo in %s on line %d
17