1--TEST--
2Float type should not allow invalid types as default
3--FILE--
4<?php
5
6function test(float $arg = true)
7{
8 var_dump($arg);
9}
10
11test();
12
13?>
14--EXPECTF--
15Fatal error: Default value for parameters with a float type can only be float, integer, or NULL in %s on line %d
16
