1--TEST--
2Property itself may be marked final (normal)
3--FILE--
4<?php
5
6class A {
7    public final $prop;
8}
9
10class B extends A {
11    public $prop { get {} set {} }
12}
13
14?>
15--EXPECTF--
16Fatal error: Cannot override final property A::$prop in %s on line %d
17