1--TEST--
2Test that the nullable mixed parameter type is not valid even though a null default value
3--FILE--
4<?php
5
6function foo(?mixed $a = null)
7{
8}
9
10?>
11--EXPECTF--
12Fatal error: Type mixed cannot be marked as nullable since mixed already includes null in %s on line %d
13
