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