1--TEST--
2Test that a property of mixed type can't be overridden by a property of class type
3--FILE--
4<?php
5
6class Foo
7{
8    public mixed $property1;
9}
10
11class Bar extends Foo
12{
13    public stdClass $property1;
14}
15
16?>
17--EXPECTF--
18Fatal error: Type of Bar::$property1 must be mixed (as in class Foo) in %s on line %d
19