--TEST--
Behavior of union type checks (weak)
--FILE--
<?php

function dump($value) {
    if (is_object($value)) {
        return 'new ' . get_class($value);
    }
    if ($value === INF) {
        return 'INF';
    }
    return json_encode($value, JSON_PRESERVE_ZERO_FRACTION);
}

function test(string $type, array $values) {
    $alignment = 16;

    echo "\nType $type:\n";
    $fn = eval("return function($type \$arg) { return \$arg; };");
    foreach ($values as $value) {
        echo str_pad(dump($value), $alignment), ' => ';

        try {
            error_clear_last();
            $value = @$fn($value);
            echo dump($value);
            if ($e = error_get_last()) {
                echo ' (', $e['message'], ')';
            }
        } catch (TypeError $e) {
            $msg = $e->getMessage();
            $msg = strstr($msg, ', called in', true);
            $msg = str_replace('{closure}(): Argument #1 ($arg)', 'Argument ...', $msg);
            echo $msg;
        }
        echo "\n";
    }
}

class WithToString {
    public function __toString() {
        return "__toString()";
    }
}

$values = [
    42, 42.0, INF, "42", "42.0", "42x", "x", "",
    true, false, null, [], new stdClass, new WithToString,
];
test('int|float', $values);
test('int|float|false', $values);
test('int|float|bool', $values);
test('int|bool', $values);
test('int|string|null', $values);
test('string|bool', $values);
test('float|array', $values);
test('string|array', $values);
test('bool|array', $values);

?>
--EXPECT--
Type int|float:
42               => 42
42.0             => 42.0
INF              => INF
"42"             => 42
"42.0"           => 42.0
"42x"            => Argument ... must be of type int|float, string given
"x"              => Argument ... must be of type int|float, string given
""               => Argument ... must be of type int|float, string given
true             => 1
false            => 0
null             => Argument ... must be of type int|float, null given
[]               => Argument ... must be of type int|float, array given
new stdClass     => Argument ... must be of type int|float, stdClass given
new WithToString => Argument ... must be of type int|float, WithToString given

Type int|float|false:
42               => 42
42.0             => 42.0
INF              => INF
"42"             => 42
"42.0"           => 42.0
"42x"            => Argument ... must be of type int|float|false, string given
"x"              => Argument ... must be of type int|float|false, string given
""               => Argument ... must be of type int|float|false, string given
true             => 1
false            => false
null             => Argument ... must be of type int|float|false, null given
[]               => Argument ... must be of type int|float|false, array given
new stdClass     => Argument ... must be of type int|float|false, stdClass given
new WithToString => Argument ... must be of type int|float|false, WithToString given

Type int|float|bool:
42               => 42
42.0             => 42.0
INF              => INF
"42"             => 42
"42.0"           => 42.0
"42x"            => true
"x"              => true
""               => false
true             => true
false            => false
null             => Argument ... must be of type int|float|bool, null given
[]               => Argument ... must be of type int|float|bool, array given
new stdClass     => Argument ... must be of type int|float|bool, stdClass given
new WithToString => Argument ... must be of type int|float|bool, WithToString given

Type int|bool:
42               => 42
42.0             => 42
INF              => true
"42"             => 42
"42.0"           => 42
"42x"            => true
"x"              => true
""               => false
true             => true
false            => false
null             => Argument ... must be of type int|bool, null given
[]               => Argument ... must be of type int|bool, array given
new stdClass     => Argument ... must be of type int|bool, stdClass given
new WithToString => Argument ... must be of type int|bool, WithToString given

Type int|string|null:
42               => 42
42.0             => 42
INF              => "INF"
"42"             => "42"
"42.0"           => "42.0"
"42x"            => "42x"
"x"              => "x"
""               => ""
true             => 1
false            => 0
null             => null
[]               => Argument ... must be of type string|int|null, array given
new stdClass     => Argument ... must be of type string|int|null, stdClass given
new WithToString => "__toString()"

Type string|bool:
42               => "42"
42.0             => "42"
INF              => "INF"
"42"             => "42"
"42.0"           => "42.0"
"42x"            => "42x"
"x"              => "x"
""               => ""
true             => true
false            => false
null             => Argument ... must be of type string|bool, null given
[]               => Argument ... must be of type string|bool, array given
new stdClass     => Argument ... must be of type string|bool, stdClass given
new WithToString => "__toString()"

Type float|array:
42               => 42.0
42.0             => 42.0
INF              => INF
"42"             => 42.0
"42.0"           => 42.0
"42x"            => Argument ... must be of type array|float, string given
"x"              => Argument ... must be of type array|float, string given
""               => Argument ... must be of type array|float, string given
true             => 1.0
false            => 0.0
null             => Argument ... must be of type array|float, null given
[]               => []
new stdClass     => Argument ... must be of type array|float, stdClass given
new WithToString => Argument ... must be of type array|float, WithToString given

Type string|array:
42               => "42"
42.0             => "42"
INF              => "INF"
"42"             => "42"
"42.0"           => "42.0"
"42x"            => "42x"
"x"              => "x"
""               => ""
true             => "1"
false            => ""
null             => Argument ... must be of type array|string, null given
[]               => []
new stdClass     => Argument ... must be of type array|string, stdClass given
new WithToString => "__toString()"

Type bool|array:
42               => true
42.0             => true
INF              => true
"42"             => true
"42.0"           => true
"42x"            => true
"x"              => true
""               => false
true             => true
false            => false
null             => Argument ... must be of type array|bool, null given
[]               => []
new stdClass     => Argument ... must be of type array|bool, stdClass given
new WithToString => Argument ... must be of type array|bool, WithToString given