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