1--TEST--
2Cannot declare final property in interface
3--FILE--
4<?php
5interface I {
6    final public $prop { get; set; }
7}
8?>
9--EXPECTF--
10Fatal error: Property in interface cannot be final in %s on line %d
11