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.7Phan 6.0.7 php-ast version 1.1.3 PHP version used to run Phan: 8.5.9	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.2.8PHPStan - PHP Static Analysis Tool 2.2.8	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. [identifier=return.type] [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. [identifier=return.type]
psalm	6.16.1Psalm 6.16.1@f1f5de594dc76faf8784e02d3dc4716c91c6f6ac next: 7.0.0-beta19	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.46.0mago 1.46.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.70.1mir 0.70.1	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.9.0phpantom_lsp 0.9.0	Pass	objects_static_return_mismatch.php:23: Return type Conformance\Tests\ObjectsStaticReturnMismatch\Builder is incompatible with declared return type 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]
phpy	0.2.0phpy 0.2.0	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.8665.325Qodana 262.8665.325	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.5steins 0.1.5 (2026-08-12 revision 39b4cc1)	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.2.8PHPStan - PHP Static Analysis Tool 2.2.8	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. [identifier=return.type]
psalm-next	7.0.0-beta19Psalm 7.0.0-beta19@7e751c06a756fa64dc4c759c09fe4a173afcb433	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
    }
}