1--TEST--
2Non-readonly class cannot extend a readonly class
3--FILE--
4<?php
5
6readonly class Foo
7{
8}
9
10class Bar extends Foo
11{
12}
13
14?>
15--EXPECTF--
16Fatal error: Non-readonly class Bar cannot extend readonly class Foo in %s on line %d
17