Basic PHPDoc template propagation checks

Group: PHPDoc generics · Category: phpdoc · File: generics_template_box.php

References: - phpDocumentor generics-like annotations - PHPStan template syntax - Psalm template syntax

Analyzer results

Analyzer	Version	Result	Diagnostics
phan	6.0.10Phan 6.0.10 php-ast version 1.1.3 PHP version used to run Phan: 8.5.11	Pass	generics_template_box.php:38: Argument 1 ($box) is new Box('x') of type \Conformance\Tests\GenericsTemplateBox\Box\|\Conformance\Tests\GenericsTemplateBox\Box<'x'> but \Conformance\Tests\GenericsTemplateBox\takesIntBox() takes \Conformance\Tests\GenericsTemplateBox\Box<int> (real type \Conformance\Tests\GenericsTemplateBox\Box) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/generics_template_box.php:33 (the inferred real argument type has nothing in common with the parameter's phpdoc type) [PhanTypeMismatchArgumentProbablyReal]
phpstan	2.3.1PHPStan - PHP Static Analysis Tool 2.3.1	Pass reported Lv.5+	generics_template_box.php:38: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBox\takesIntBox expects Conformance\Tests\GenericsTemplateBox\Box<int>, Conformance\Tests\GenericsTemplateBox\Box<string> given. [reported-from-level=5] With strict-rules generics_template_box.php:38: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBox\takesIntBox expects Conformance\Tests\GenericsTemplateBox\Box<int>, Conformance\Tests\GenericsTemplateBox\Box<string> given.
psalm	6.20.0Psalm 6.20.0@804f03c0c183d149fcd4b8c7c0c9b3fbf836d34c next: 7.0.0-rc2	Fail (pzoom≠)	pzoom (Psalm port) generics_template_box.php:38: Type 'x' should be a subtype of int [IncompatibleTypeParameters] Expectation diff Line 38: Expected 1 error(s)
mago	1.57.0mago 1.57.0	Pass	generics_template_box.php:38: Invalid argument type for argument #1 of `Conformance\Tests\GenericsTemplateBox\takesIntBox`: expected `Conformance\Tests\GenericsTemplateBox\Box<int>`, but found `Conformance\Tests\GenericsTemplateBox\Box<string>`. [invalid-argument]
mir	0.87.0mir 0.87.0	Pass	generics_template_box.php:38: InvalidArgument: Argument $box of takesIntBox() expects 'Conformance\Tests\GenericsTemplateBox\Box<int>', got 'Conformance\Tests\GenericsTemplateBox\Box<string>' [MIR0201]
phpantom	0.11.1phpantom_lsp 0.11.1	Pass	generics_template_box.php:38: Argument 1 ($box) expects Conformance\Tests\GenericsTemplateBox\Box<int>, got Conformance\Tests\GenericsTemplateBox\Box<string> [type_mismatch_argument]
intelephense	1.18.5intelephense 1.18.5	Fail	No diagnostics reported. Expectation diff Line 38: Expected 1 error(s)
phpactor	2026.10.07.0Phpactor 2026.10.07.0	Fail	No diagnostics reported. Expectation diff Line 38: Expected 1 error(s)
phpy	1.0.19409phpy 1.0.19409	Fail	No diagnostics reported. Expectation diff Line 38: Expected 1 error(s)
qodana	262.10968.76PhpStorm 262.10968.76	Fail	No diagnostics reported. Expectation diff Line 38: Expected 1 error(s)
noverify	0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529	Fail	generics_template_box.php:25: param $value miss matched with phpdoc type <<T>> [funcParamTypeMissMatch] generics_template_box.php:33: param $box miss matched with phpdoc type <<Box<int>>> [funcParamTypeMissMatch] Expectation diff Line 38: Expected 1 error(s) Line 25: Unexpected errors ["param $value miss matched with phpdoc type <<T>> [funcParamTypeMissMatch]"] Line 33: Unexpected errors ["param $box miss matched with phpdoc type <<Box<int>>> [funcParamTypeMissMatch]"]
steins	0.1.8steins 0.1.8 (2026-09-21 revision 76306a9)	Pass	generics_template_box.php:38: argument new Box() to takesIntBox() violates declared @param Box<int> $box — declared contract violation [phpdoc.param-mismatch]
phpstan-strict	2.3.1PHPStan - PHP Static Analysis Tool 2.3.1	Pass	generics_template_box.php:38: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBox\takesIntBox expects Conformance\Tests\GenericsTemplateBox\Box<int>, Conformance\Tests\GenericsTemplateBox\Box<string> given.
psalm-next	7.0.0-rc2Psalm 7.0.0-rc2@20339e3fe5b8d03bcd8061030eb2a83ad50e5783	Fail	No diagnostics reported. Expectation diff Line 38: Expected 1 error(s)

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\GenericsTemplateBox;

/**
 * Basic PHPDoc template propagation checks.
 *
 * References:
 * - phpDocumentor generics-like annotations
 * - PHPStan template syntax
 * - Psalm template syntax
 */

/**
 * @template T
 */
final class Box
{
    /**
     * @param T $value
     */
    public function __construct(
        public mixed $value,
    ) {
    }
}

/**
 * @param Box<int> $box
 */
function takesIntBox(Box $box): void
{
}

takesIntBox(new Box(1));
takesIntBox(new Box('x')); // E: Box<string> is not accepted where Box<int> is required