1--TEST--
2Test that the nullable mixed property type is not valid
3--FILE--
4<?php
5
6class Foo
7{
8 public ?mixed $property1;
9}
10
11?>
12--EXPECTF--
13Fatal error: Type mixed cannot be marked as nullable since mixed already includes null in %s on line %d
14
