Basic union member compatibility checks

Group: Union types · Category: language · File: unions_scalar_members.php

References: - PHP native union types

Analyzer results

Analyzer	Version	Result	Diagnostics
phan	6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9	Pass	unions_scalar_members.php:27: Argument 1 ($value) is 1.5 of type float (value: 1.5) but \Conformance\Tests\UnionsScalarMembers\takesIntOrString() takes int\|string defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/unions_scalar_members.php:14 [PhanTypeMismatchArgumentReal] unions_scalar_members.php:28: Argument 1 ($value) is 'x' of type string but \Conformance\Tests\UnionsScalarMembers\takesNullableInt() takes ?int defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/unions_scalar_members.php:18 [PhanTypeMismatchArgumentReal]
phpstan	2.2.8PHPStan - PHP Static Analysis Tool 2.2.8	Pass reported Lv.5+	unions_scalar_members.php:27: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesIntOrString expects int\|string, float given. [identifier=argument.type] [reported-from-level=5] unions_scalar_members.php:28: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesNullableInt expects int\|null, string given. [identifier=argument.type] [reported-from-level=5] With strict-rules unions_scalar_members.php:27: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesIntOrString expects int\|string, float given. [identifier=argument.type] unions_scalar_members.php:28: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesNullableInt expects int\|null, string given. [identifier=argument.type]
psalm	6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac next: 7.0.0-beta19	Pass	unions_scalar_members.php:27: Argument 1 of Conformance\Tests\UnionsScalarMembers\takesIntOrString expects int\|string, but float(1.5) provided [InvalidScalarArgument] unions_scalar_members.php:28: Argument 1 of Conformance\Tests\UnionsScalarMembers\takesNullableInt expects int\|null, but 'x' provided [InvalidScalarArgument]
mago	1.46.0mago 1.46.0	Pass	unions_scalar_members.php:27: Invalid argument type for argument #1 of `Conformance\Tests\UnionsScalarMembers\takesIntOrString`: expected `int\|string`, but found `float(1.5)`. [invalid-argument] unions_scalar_members.php:28: Invalid argument type for argument #1 of `Conformance\Tests\UnionsScalarMembers\takesNullableInt`: expected `int\|null`, but found `string('x')`. [invalid-argument]
mir	0.70.1mir 0.70.1	Pass	unions_scalar_members.php:27: InvalidArgument: Argument $value of takesIntOrString() expects 'int\|string', got '1.5' [MIR0201] unions_scalar_members.php:28: InvalidArgument: Argument $value of takesNullableInt() expects 'int\|null', got '"x"' [MIR0201]
phpantom	0.9.0phpantom_lsp 0.9.0	Pass	unions_scalar_members.php:27: Argument 1 ($value) expects int\|string, got 1.5 [type_mismatch_argument] unions_scalar_members.php:28: Argument 1 ($value) expects ?int, got 'x' [type_mismatch_argument]
intelephense	1.18.5intelephense 1.18.5	Pass	unions_scalar_members.php:27: Expected type 'int\|string'. Found 'float'. [P1006] unions_scalar_members.php:28: Expected type 'null\|int'. Found ''x''. [P1006]
phpy	0.2.0phpy 0.2.0	Pass	unions_scalar_members.php:27: Argument '1' passed to Conformance\Tests\UnionsScalarMembers\takesIntOrString() is expected to be of type int\|string, float given unions_scalar_members.php:28: Argument '1' passed to Conformance\Tests\UnionsScalarMembers\takesNullableInt() is expected to be of type int\|null, string given
qodana	262.8665.325Qodana 262.8665.325	Pass	unions_scalar_members.php:27: Parameter '1.5' type is not compatible with declaration when using strict type matching [PhpParamsInspection] unions_scalar_members.php:27: Parameter '1.5' type is not compatible with declaration [PhpStrictTypeCheckingInspection] unions_scalar_members.php:28: Parameter ''x'' type is not compatible with declaration [PhpStrictTypeCheckingInspection]
noverify	0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529	Fail	No diagnostics reported. Expectation diff Line 27: Expected 1 error(s) Line 28: Expected 1 error(s)
steins	0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1)	Pass	unions_scalar_members.php:27: argument 1.5 to takesIntOrString() cannot become int\|string $value — proven TypeError (strict mode) [type.argument-mismatch] unions_scalar_members.php:28: argument "x" to takesNullableInt() cannot become ?int $value — proven TypeError (strict mode) [type.argument-mismatch]
phpstan-strict	2.2.8PHPStan - PHP Static Analysis Tool 2.2.8	Pass	unions_scalar_members.php:27: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesIntOrString expects int\|string, float given. [identifier=argument.type] unions_scalar_members.php:28: Parameter #1 $value of function Conformance\Tests\UnionsScalarMembers\takesNullableInt expects int\|null, string given. [identifier=argument.type]
psalm-next	7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433	Pass	unions_scalar_members.php:27: Argument 1 of Conformance\Tests\UnionsScalarMembers\takesIntOrString expects int\|string, but float(1.5) provided [InvalidScalarArgument] unions_scalar_members.php:28: Argument 1 of Conformance\Tests\UnionsScalarMembers\takesNullableInt expects int\|null, but 'x' provided [InvalidScalarArgument]

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\UnionsScalarMembers;

/**
 * Basic union member compatibility checks.
 *
 * References:
 * - PHP native union types
 */

function takesIntOrString(int|string $value): void
{
}

function takesNullableInt(?int $value): void
{
}

takesIntOrString(1);
takesIntOrString('ok');
takesNullableInt(null);
takesNullableInt(2);

takesIntOrString(1.5); // E: float is not accepted by int|string
takesNullableInt('x'); // E: string is not accepted by ?int