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