1--TEST--
2Class with abstract property hook not declared abstract (inherited 1)
3--FILE--
4<?php
5
6abstract class A {
7    public abstract $prop { get; }
8}
9
10class B extends A {
11    public $prop { set {} }
12}
13
14?>
15--EXPECTF--
16Fatal error: Class B contains 1 abstract method and must therefore be declared abstract or implement the remaining methods (A::$prop::get) in %s on line %d
17