1--TEST--
2Test that a property of a built-in type can't be overridden by a property of mixed type
3--FILE--
4<?php
5
6class Foo
7{
8    public int $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 int (as in class Foo) in %s on line %d
19