← All results

@psalm-consistent-constructor

Group: Advanced PHPDoc types · Category: ecosystem · File: phpdoc_advanced_psalm_consistent_constructor.php

Psalm's spelling of the same idea as @phpstan-consistent-constructor: children must keep a compatible constructor so new static() is safe. References: - Psalm supported_annotations.md: @psalm-consistent-constructor - PHPStan phpdocs-basics: Consistent constructor

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 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpstan 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Not enforced reported Lv.0+ 
phpdoc_advanced_psalm_consistent_constructor.php:33: Parameter #1 $id (int) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct() is not contravariant with parameter #1 $name (string) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct(). [identifier=method.childParameterType] [reported-from-level=0]
With strict-rules
phpdoc_advanced_psalm_consistent_constructor.php:33: Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct() does not call parent constructor from Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor. [identifier=constructor.missingParentCall]
phpdoc_advanced_psalm_consistent_constructor.php:33: Parameter #1 $id (int) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct() is not contravariant with parameter #1 $name (string) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct(). [identifier=method.childParameterType]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Parameter #1 $id (int) of method Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct() is not contravariant with parameter #1 $name (string) of method Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct(). [identifier=method.childParameterType] [reported-from-level=0]"]
psalm 6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac
next: 7.0.0-beta19		 Not enforced 
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong name $id, expecting $name as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ParamNameMismatch]
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ConstructorSignatureMismatch]
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ImplementedParamTypeMismatch]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong name $id, expecting $name as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ParamNameMismatch]","Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ConstructorSignatureMismatch]","Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ImplementedParamTypeMismatch]"]
mago 1.46.0mago 1.46.0 Not enforced ⚠ 1 false positive 
phpdoc_advanced_psalm_consistent_constructor.php:33: Parameter `$id` of `Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct()` expects type `int` but parent `Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct()` expects type `string` [incompatible-parameter-type]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Parameter `$id` of `Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct()` expects type `int` but parent `Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct()` expects type `string` [incompatible-parameter-type]"]
mir 0.70.1mir 0.70.1 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpantom 0.9.0phpantom_lsp 0.9.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
intelephense 1.18.5intelephense 1.18.5 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpy 0.2.0phpy 0.2.0 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
qodana 262.8665.325Qodana 262.8665.325 Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
noverify 0.5.5NoVerify, version 0.5.5: built on: 2025.04.22 14:36:46 OS: r-kuchinskas arm64 Commit: 4774b82f8adc53fbef38f95e97af4b953b4d1529 Not enforced ⚠ 1 false positive 
phpdoc_advanced_psalm_consistent_constructor.php:33: Missing parent::__construct() call [parentConstructor]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Missing parent::__construct() call [parentConstructor]"]
steins 0.1.5steins 0.1.5 (2026-08-12 revision 39b4cc1) Not enforced

No diagnostics reported.

  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
phpstan-strict 2.2.8PHPStan - PHP Static Analysis Tool 2.2.8 Not enforced ⚠ 1 false positive 
phpdoc_advanced_psalm_consistent_constructor.php:33: Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct() does not call parent constructor from Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor. [identifier=constructor.missingParentCall]
phpdoc_advanced_psalm_consistent_constructor.php:33: Parameter #1 $id (int) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct() is not contravariant with parameter #1 $name (string) of method Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct(). [identifier=method.childParameterType]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct() does not call parent constructor from Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor. [identifier=constructor.missingParentCall]","Parameter #1 $id (int) of method Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct() is not contravariant with parameter #1 $name (string) of method Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct(). [identifier=method.childParameterType]"]
psalm-next 7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433 Not enforced ⚠ 1 false positive 
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong name $id, expecting $name as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ParamNameMismatch]
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ConstructorSignatureMismatch]
phpdoc_advanced_psalm_consistent_constructor.php:33: Argument 1 of Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor\ParentWithCtor::__construct [ImplementedParamTypeMismatch]
  • Recognition: spelling resolved
  • Enforcement: 0/1 of the expected violations reported
  • False positives: line(s) 33
Expectation diff
Line 33: Unexpected errors ["Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong name $id, expecting $name as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ParamNameMismatch]","Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ConstructorSignatureMismatch]","Argument 1 of Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ChildWithDifferentCtor::__construct has wrong type 'int', expecting 'string' as defined by Conformance\\Tests\\PhpdocAdvancedPsalmConsistentConstructor\\ParentWithCtor::__construct [ImplementedParamTypeMismatch]"]

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\PhpdocAdvancedPsalmConsistentConstructor;

/**
 * Cross-tool handling of `@psalm-consistent-constructor`.
 *
 * Psalm's spelling of the same idea as `@phpstan-consistent-constructor`:
 * children must keep a compatible constructor so `new static()` is safe.
 *
 * References:
 * - Psalm supported_annotations.md: `@psalm-consistent-constructor`
 * - PHPStan phpdocs-basics: Consistent constructor
 */

/**
 * @psalm-consistent-constructor
 */
class ParentWithCtor // T: @psalm-consistent-constructor
{
    public function __construct(string $name)
    {
        if ($name === '') {
            throw new \InvalidArgumentException('empty name');
        }
    }
}

// Compatible: inherits the parent's constructor, so the tag must stay silent.
final class ChildWithInheritedCtor extends ParentWithCtor // V
{
}

final class ChildWithDifferentCtor extends ParentWithCtor
{
    public function __construct(int $id) // E?: not compatible under @psalm-consistent-constructor
    {
        if ($id < 0) {
            throw new \InvalidArgumentException('negative id');
        }
    }
}