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