Static return type compatibility

Group: Object compatibility · Category: language · File: objects_static_return_mismatch.php

References: - PHP static return type - python-typing classes / constructors inspiration

Analyzer results

Analyzer	Version	Result	Diagnostics
phan	6.0.11Phan 6.0.11 php-ast version 1.1.3 PHP version used to run Phan: 8.5.11	Pass	objects_static_return_mismatch.php:23: Returning new Builder() of type \Conformance\Tests\ObjectsStaticReturnMismatch\Builder but rebuild() is declared to return \Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder [PhanTypeMismatchReturnReal]
phpstan	2.3.5PHPStan - PHP Static Analysis Tool 2.3.5	Pass reported Lv.3+	objects_static_return_mismatch.php:23: Method Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild() should return Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder but returns Conformance\Tests\ObjectsStaticReturnMismatch\Builder. [reported-from-level=3] With strict-rules objects_static_return_mismatch.php:23: Method Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild() should return Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder but returns Conformance\Tests\ObjectsStaticReturnMismatch\Builder.
psalm	6.20.9Psalm 6.20.9@f67170ac3c3b931f5088681e21d6c8babc601c08 next: 7.0.4	Pass (pzoom≠)	objects_static_return_mismatch.php:21: The declared return type 'Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder' for Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild is incorrect, got 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder' [InvalidReturnType] objects_static_return_mismatch.php:23: The inferred type 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder' does not match the declared return type 'Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder' for Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild [InvalidReturnStatement] pzoom (Psalm port) objects_static_return_mismatch.php:23: The type Conformance\Tests\ObjectsStaticReturnMismatch\Builder does not match the declared return type Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder [InvalidReturnStatement]
mago	1.59.0mago 1.59.0	Pass	objects_static_return_mismatch.php:23: Invalid return type for function `Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild`: expected `conformance\tests\objectsstaticreturnmismatch\brokenbuilder`, but found `Conformance\Tests\ObjectsStaticReturnMismatch\Builder`. [invalid-return-statement]
mir	0.91.0mir 0.91.0	Pass	objects_static_return_mismatch.php:23: InvalidReturnType: Return type 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder' is not compatible with declared 'static(Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder)' [MIR0200]
phpantom	0.11.1phpantom_lsp 0.11.1	Pass	objects_static_return_mismatch.php:23: Return type Conformance\Tests\ObjectsStaticReturnMismatch\Builder is incompatible with declared return type static(Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder) [type_mismatch_return]
intelephense	1.18.5intelephense 1.18.5	Pass	objects_static_return_mismatch.php:23: Expected type 'Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder'. Found 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder'. [P1006]
phpactor	2026.10.07.0Phpactor 2026.10.07.0	Fail	No diagnostics reported. Expectation diff Lines 21, 23: Expected error (tag static_return)
phpy	1.0.19490phpy 1.0.19490	Pass	objects_static_return_mismatch.php:23: Return value of rebuild() is expected to be of type Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder, Conformance\Tests\ObjectsStaticReturnMismatch\Builder returned
qodana	262.11879.104PhpStorm 262.11879.104	Pass	objects_static_return_mismatch.php:23: Return value type is not compatible with declared [PhpIncompatibleReturnTypeInspection]
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 Lines 21, 23: Expected error (tag static_return)
steins	0.1.8steins 0.1.8 (2026-09-21 revision 76306a9)	Pass	objects_static_return_mismatch.php:23: return new Builder() cannot become Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder (return type of BrokenBuilder::rebuild()) — proven TypeError (strict mode) [type.return-mismatch]
phpstan-strict	2.3.5PHPStan - PHP Static Analysis Tool 2.3.5	Pass	objects_static_return_mismatch.php:23: Method Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild() should return Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder but returns Conformance\Tests\ObjectsStaticReturnMismatch\Builder.
psalm-next	7.0.4Psalm 7.0.4@fa5b1f6e665cb743838ffd865b8fc96207f9409f	Pass	objects_static_return_mismatch.php:21: The declared return type 'Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder' for Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild is incorrect, got 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder' [InvalidReturnType] objects_static_return_mismatch.php:23: The inferred type 'Conformance\Tests\ObjectsStaticReturnMismatch\Builder' does not match the declared return type 'Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder' for Conformance\Tests\ObjectsStaticReturnMismatch\BrokenBuilder::rebuild [InvalidReturnStatement]

Source

<?php

declare(strict_types=1);

namespace Conformance\Tests\ObjectsStaticReturnMismatch;

/**
 * Static return type compatibility.
 *
 * References:
 * - PHP static return type
 * - python-typing classes / constructors inspiration
 */

final class Builder
{
}

final class BrokenBuilder
{
    public function rebuild(): static // E[static_return+]: static return type requires BrokenBuilder-compatible result
    {
        return new Builder(); // E[static_return+]: static return type requires BrokenBuilder-compatible result
    }
}