Template upper bounds

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

References: - PHPStan template bounds - Psalm template bounds - python-typing generics upper bounds inspiration

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	generics_template_bound.php:56: Template type T of \Conformance\Tests\GenericsTemplateBound\NamedBox::__construct() must be compatible with \Conformance\Tests\GenericsTemplateBound\HasName, but \Conformance\Tests\GenericsTemplateBound\AnonymousUser was provided in call to \Conformance\Tests\GenericsTemplateBound\NamedBox::__construct() [PhanTemplateTypeConstraintViolation] generics_template_bound.php:56: Argument 1 ($box) is new NamedBox(new AnonymousUser()) of type \Conformance\Tests\GenericsTemplateBound\NamedBox\|\Conformance\Tests\GenericsTemplateBound\NamedBox<\Conformance\Tests\GenericsTemplateBound\AnonymousUser> but \Conformance\Tests\GenericsTemplateBound\takesNamedBox() takes \Conformance\Tests\GenericsTemplateBound\NamedBox<\Conformance\Tests\GenericsTemplateBound\User> (real type \Conformance\Tests\GenericsTemplateBound\NamedBox) defined at /Users/megurine/repo/php/php-typing-conformance/conformance/tests/generics_template_bound.php:51 (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_bound.php:56: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBound\takesNamedBox expects Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>, Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\HasName> given. [identifier=argument.type] [reported-from-level=5] generics_template_bound.php:56: Parameter #1 $value of class Conformance\Tests\GenericsTemplateBound\NamedBox constructor expects T of Conformance\Tests\GenericsTemplateBound\HasName, Conformance\Tests\GenericsTemplateBound\AnonymousUser given. [identifier=argument.type] [reported-from-level=5] With strict-rules generics_template_bound.php:56: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBound\takesNamedBox expects Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>, Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\HasName> given. [identifier=argument.type] generics_template_bound.php:56: Parameter #1 $value of class Conformance\Tests\GenericsTemplateBound\NamedBox constructor expects T of Conformance\Tests\GenericsTemplateBound\HasName, Conformance\Tests\GenericsTemplateBound\AnonymousUser given. [identifier=argument.type]
psalm	6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac next: 7.0.0-beta19	Pass	generics_template_bound.php:56: Argument 1 of Conformance\Tests\GenericsTemplateBound\takesNamedBox expects Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>, but parent type Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\HasName> provided [ArgumentTypeCoercion] generics_template_bound.php:56: Argument 1 of Conformance\Tests\GenericsTemplateBound\NamedBox::__construct expects Conformance\Tests\GenericsTemplateBound\HasName, but Conformance\Tests\GenericsTemplateBound\AnonymousUser provided [InvalidArgument]
mago	1.46.0mago 1.46.0	Pass	generics_template_bound.php:56: Argument type mismatch for template `T`. [template-constraint-violation] generics_template_bound.php:56: Possible argument type mismatch for argument #1 of `Conformance\Tests\GenericsTemplateBound\NamedBox::__construct`: expected `('T.conformance\tests\genericstemplatebound\namedbox extends Conformance\Tests\GenericsTemplateBound\HasName)`, but possibly received `Conformance\Tests\GenericsTemplateBound\AnonymousUser`. [possibly-invalid-argument]
mir	0.70.1mir 0.70.1	Pass	generics_template_bound.php:56: InvalidTemplateParam: Template type 'T' inferred as 'Conformance\Tests\GenericsTemplateBound\AnonymousUser' does not satisfy bound 'Conformance\Tests\GenericsTemplateBound\HasName' [MIR0900] generics_template_bound.php:56: InvalidArgument: Argument $box of takesNamedBox() expects 'Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>', got 'Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\AnonymousUser>' [MIR0201]
phpantom	0.9.0phpantom_lsp 0.9.0	Fail	No diagnostics reported. Expectation diff Line 56: Expected 1 error(s)
intelephense	1.18.5intelephense 1.18.5	Fail	No diagnostics reported. Expectation diff Line 56: Expected 1 error(s)
phpy	0.2.0phpy 0.2.0	Fail	No diagnostics reported. Expectation diff Line 56: Expected 1 error(s)
qodana	262.8665.325Qodana 262.8665.325	Fail	generics_template_bound.php:40: Argument type does not match the declared [PhpDocSignatureInspection] Expectation diff Line 56: Expected 1 error(s) Line 40: Unexpected errors ["Argument type does not match the declared [PhpDocSignatureInspection]"]
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_bound.php:43: param $value miss matched with phpdoc type <<T>> [funcParamTypeMissMatch] generics_template_bound.php:51: param $box miss matched with phpdoc type <<NamedBox<User>>> [funcParamTypeMissMatch] Expectation diff Line 56: Expected 1 error(s) Line 43: Unexpected errors ["param $value miss matched with phpdoc type <<T>> [funcParamTypeMissMatch]"] Line 51: Unexpected errors ["param $box miss matched with phpdoc type <<NamedBox<User>>> [funcParamTypeMissMatch]"]
steins	0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1)	Pass	generics_template_bound.php:56: argument new NamedBox() to takesNamedBox() violates declared @param NamedBox<User> $box — declared contract violation [phpdoc.param-mismatch]
phpstan-strict	2.2.8PHPStan - PHP Static Analysis Tool 2.2.8	Pass	generics_template_bound.php:56: Parameter #1 $box of function Conformance\Tests\GenericsTemplateBound\takesNamedBox expects Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>, Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\HasName> given. [identifier=argument.type] generics_template_bound.php:56: Parameter #1 $value of class Conformance\Tests\GenericsTemplateBound\NamedBox constructor expects T of Conformance\Tests\GenericsTemplateBound\HasName, Conformance\Tests\GenericsTemplateBound\AnonymousUser given. [identifier=argument.type]
psalm-next	7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433	Pass	generics_template_bound.php:56: Argument 1 of Conformance\Tests\GenericsTemplateBound\takesNamedBox expects Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\User>, but parent type Conformance\Tests\GenericsTemplateBound\NamedBox<Conformance\Tests\GenericsTemplateBound\HasName> provided [ArgumentTypeCoercion] generics_template_bound.php:56: Argument 1 of Conformance\Tests\GenericsTemplateBound\NamedBox::__construct expects Conformance\Tests\GenericsTemplateBound\HasName, but Conformance\Tests\GenericsTemplateBound\AnonymousUser provided [InvalidArgument]

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\GenericsTemplateBound;

/**
 * Template upper bounds.
 *
 * References:
 * - PHPStan template bounds
 * - Psalm template bounds
 * - python-typing generics upper bounds inspiration
 */

interface HasName
{
    public function name(): string;
}

final class User implements HasName
{
    #[\Override]
    public function name(): string
    {
        return 'user';
    }
}

final class AnonymousUser
{
}

/**
 * @template T of HasName
 */
final class NamedBox
{
    /**
     * @param T $value
     */
    public function __construct(
        public object $value,
    ) {
    }
}

/**
 * @param NamedBox<User> $box
 */
function takesNamedBox(NamedBox $box): void
{
}

takesNamedBox(new NamedBox(new User()));
takesNamedBox(new NamedBox(new AnonymousUser())); // E: template bound requires HasName-compatible values