← All results

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

AnalyzerVersionResultDiagnostics
phan 6.0.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9 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.2.8PHPStan - PHP Static Analysis Tool 2.2.8 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. [identifier=argument.type] [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. [identifier=argument.type]
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 Pass 
generics_template_box.php:38: Argument 1 of Conformance\Tests\GenericsTemplateBox\takesIntBox expects Conformance\Tests\GenericsTemplateBox\Box<int>, but Conformance\Tests\GenericsTemplateBox\Box<'x'> provided [InvalidArgument]
mago 1.46.0mago 1.46.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.70.1mir 0.70.1 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.9.0phpantom_lsp 0.9.0 Fail

No diagnostics reported.

Expectation diff
Line 38: Expected 1 error(s)
intelephense 1.18.5intelephense 1.18.5 Fail

No diagnostics reported.

Expectation diff
Line 38: Expected 1 error(s)
phpy 0.2.0phpy 0.2.0 Fail

No diagnostics reported.

Expectation diff
Line 38: Expected 1 error(s)
qodana 262.8665.325Qodana 262.8665.325 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.5steins 0.1.5 (2026-08-12 revision 39b4cc1) 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.2.8PHPStan - PHP Static Analysis Tool 2.2.8 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. [identifier=argument.type]
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 Pass 
generics_template_box.php:38: Argument 1 of Conformance\Tests\GenericsTemplateBox\takesIntBox expects Conformance\Tests\GenericsTemplateBox\Box<int>, but Conformance\Tests\GenericsTemplateBox\Box<'x'> provided [InvalidArgument]

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