3v4l.org

run code in 300+ PHP versions simultaneously
<?php const SOMECONST = 'Const hello'; enum SomeEnum { case Hearts; case Diamonds; case Clubs; case Spades; } function SomeFunction() { } $SomeFunctionClosure = function() { }; $SomeFunctionFirstClassCallable = SomeFunction(...); $someFunctionClosureFromCallabe = Closure::fromCallable('SomeFunction'); class ShouldTypeError { public $uniqueId; public function __construct($returnValue) { static $uniqueId = 0; $this->uniqueId = $uniqueId; $uniqueId++; if ($returnValue !== 'no-return') { if ($returnValue === '$this') { return $this; } elseif ($returnValue === 'no-return-value') { return; } elseif ($returnValue === 'void') { return void; } elseif ($returnValue === 'never') { return never; } return $returnValue; } } } $testcases = [ 'no-return', 'no-return-value', '$this', new ShouldTypeError('no-return'), SOMECONST, 'abc', 1, 1.23, null, true, false, ['a', 'b', 'c'], ['a' => 'a', 'b' => 'b', 'c' => 'c', 0 => 'Zero'], 'never', 'void', SomeEnum::Spades, function() { echo 'Hi'.PHP_EOL; }, $SomeFunctionClosure, $SomeFunctionFirstClassCallable, $someFunctionClosureFromCallabe, new DateTimeImmutable(), fopen('php://memory', 'w+'), ]; foreach($testcases as $testcase) { echo "--------------[ TESTCASE ]--------------\n"; var_dump($testcase); echo "\n"; try { $didReturn = new ShouldTypeError($testcase); switch($testcase) { case 'no-return': echo "Success: without a return statement is always valid.\n"; break; case 'no-return-value': echo "Success: a return statement without a value is always valid.\n"; break; case '$this': echo "Dubious: return \$this is dubious.\n"; echo "- it fullfills the return type, so it could be allowed.\n"; echo "- but returning anything from a constructor is nonsense, because it is discarded.\n"; echo " As shown by the fourth testcase new SomeTypeError('no-return').\n"; break; default: echo "Error: why is it not a return TypeError?\n"; break; } if ($didReturn instanceof ShouldTypeError) { echo "Created uniqueId ".$didReturn->uniqueId."\n"; } else { echo "Failed to new a ShouldTypeError.\n"; } } catch (Throwable $ex) { echo "Success: throwable: ".$ex->getMessage()."\n"; } }
Output for git.master_jit
--------------[ TESTCASE ]-------------- string(9) "no-return" Success: without a return statement is always valid. Created uniqueId 1 --------------[ TESTCASE ]-------------- string(15) "no-return-value" Success: a return statement without a value is always valid. Created uniqueId 2 --------------[ TESTCASE ]-------------- string(5) "$this" Dubious: return $this is dubious. - it fullfills the return type, so it could be allowed. - but returning anything from a constructor is nonsense, because it is discarded. As shown by the fourth testcase new SomeTypeError('no-return'). Created uniqueId 3 --------------[ TESTCASE ]-------------- object(ShouldTypeError)#4 (1) { ["uniqueId"]=> int(0) } Error: why is it not a return TypeError? Created uniqueId 4 --------------[ TESTCASE ]-------------- string(11) "Const hello" Error: why is it not a return TypeError? Created uniqueId 5 --------------[ TESTCASE ]-------------- string(3) "abc" Error: why is it not a return TypeError? Created uniqueId 6 --------------[ TESTCASE ]-------------- int(1) Error: why is it not a return TypeError? Created uniqueId 7 --------------[ TESTCASE ]-------------- float(1.23) Error: why is it not a return TypeError? Created uniqueId 8 --------------[ TESTCASE ]-------------- NULL Error: why is it not a return TypeError? Created uniqueId 9 --------------[ TESTCASE ]-------------- bool(true) Success: without a return statement is always valid. Created uniqueId 10 --------------[ TESTCASE ]-------------- bool(false) Error: why is it not a return TypeError? Created uniqueId 11 --------------[ TESTCASE ]-------------- array(3) { [0]=> string(1) "a" [1]=> string(1) "b" [2]=> string(1) "c" } Error: why is it not a return TypeError? Created uniqueId 12 --------------[ TESTCASE ]-------------- array(4) { ["a"]=> string(1) "a" ["b"]=> string(1) "b" ["c"]=> string(1) "c" [0]=> string(4) "Zero" } Error: why is it not a return TypeError? Created uniqueId 13 --------------[ TESTCASE ]-------------- string(5) "never" Success: throwable: Undefined constant "never" --------------[ TESTCASE ]-------------- string(4) "void" Success: throwable: Undefined constant "void" --------------[ TESTCASE ]-------------- enum(SomeEnum::Spades) Error: why is it not a return TypeError? Created uniqueId 16 --------------[ TESTCASE ]-------------- object(Closure)#6 (3) { ["name"]=> string(22) "{closure:/in/T8rkB:72}" ["file"]=> string(9) "/in/T8rkB" ["line"]=> int(72) } Error: why is it not a return TypeError? Created uniqueId 17 --------------[ TESTCASE ]-------------- object(Closure)#1 (3) { ["name"]=> string(22) "{closure:/in/T8rkB:17}" ["file"]=> string(9) "/in/T8rkB" ["line"]=> int(17) } Error: why is it not a return TypeError? Created uniqueId 18 --------------[ TESTCASE ]-------------- object(Closure)#2 (1) { ["function"]=> string(12) "SomeFunction" } Error: why is it not a return TypeError? Created uniqueId 19 --------------[ TESTCASE ]-------------- object(Closure)#3 (1) { ["function"]=> string(12) "SomeFunction" } Error: why is it not a return TypeError? Created uniqueId 20 --------------[ TESTCASE ]-------------- object(DateTimeImmutable)#7 (3) { ["date"]=> string(26) "2026-01-30 22:42:48.013178" ["timezone_type"]=> int(3) ["timezone"]=> string(16) "Europe/Amsterdam" } Error: why is it not a return TypeError? Created uniqueId 21 --------------[ TESTCASE ]-------------- resource(5) of type (stream) Error: why is it not a return TypeError? Created uniqueId 22
Output for git.master
--------------[ TESTCASE ]-------------- string(9) "no-return" Success: without a return statement is always valid. Created uniqueId 1 --------------[ TESTCASE ]-------------- string(15) "no-return-value" Success: a return statement without a value is always valid. Created uniqueId 2 --------------[ TESTCASE ]-------------- string(5) "$this" Dubious: return $this is dubious. - it fullfills the return type, so it could be allowed. - but returning anything from a constructor is nonsense, because it is discarded. As shown by the fourth testcase new SomeTypeError('no-return'). Created uniqueId 3 --------------[ TESTCASE ]-------------- object(ShouldTypeError)#4 (1) { ["uniqueId"]=> int(0) } Error: why is it not a return TypeError? Created uniqueId 4 --------------[ TESTCASE ]-------------- string(11) "Const hello" Error: why is it not a return TypeError? Created uniqueId 5 --------------[ TESTCASE ]-------------- string(3) "abc" Error: why is it not a return TypeError? Created uniqueId 6 --------------[ TESTCASE ]-------------- int(1) Error: why is it not a return TypeError? Created uniqueId 7 --------------[ TESTCASE ]-------------- float(1.23) Error: why is it not a return TypeError? Created uniqueId 8 --------------[ TESTCASE ]-------------- NULL Error: why is it not a return TypeError? Created uniqueId 9 --------------[ TESTCASE ]-------------- bool(true) Success: without a return statement is always valid. Created uniqueId 10 --------------[ TESTCASE ]-------------- bool(false) Error: why is it not a return TypeError? Created uniqueId 11 --------------[ TESTCASE ]-------------- array(3) { [0]=> string(1) "a" [1]=> string(1) "b" [2]=> string(1) "c" } Error: why is it not a return TypeError? Created uniqueId 12 --------------[ TESTCASE ]-------------- array(4) { ["a"]=> string(1) "a" ["b"]=> string(1) "b" ["c"]=> string(1) "c" [0]=> string(4) "Zero" } Error: why is it not a return TypeError? Created uniqueId 13 --------------[ TESTCASE ]-------------- string(5) "never" Success: throwable: Undefined constant "never" --------------[ TESTCASE ]-------------- string(4) "void" Success: throwable: Undefined constant "void" --------------[ TESTCASE ]-------------- enum(SomeEnum::Spades) Error: why is it not a return TypeError? Created uniqueId 16 --------------[ TESTCASE ]-------------- object(Closure)#6 (3) { ["name"]=> string(22) "{closure:/in/T8rkB:72}" ["file"]=> string(9) "/in/T8rkB" ["line"]=> int(72) } Error: why is it not a return TypeError? Created uniqueId 17 --------------[ TESTCASE ]-------------- object(Closure)#1 (3) { ["name"]=> string(22) "{closure:/in/T8rkB:17}" ["file"]=> string(9) "/in/T8rkB" ["line"]=> int(17) } Error: why is it not a return TypeError? Created uniqueId 18 --------------[ TESTCASE ]-------------- object(Closure)#2 (1) { ["function"]=> string(12) "SomeFunction" } Error: why is it not a return TypeError? Created uniqueId 19 --------------[ TESTCASE ]-------------- object(Closure)#3 (1) { ["function"]=> string(12) "SomeFunction" } Error: why is it not a return TypeError? Created uniqueId 20 --------------[ TESTCASE ]-------------- object(DateTimeImmutable)#7 (3) { ["date"]=> string(26) "2026-01-30 22:42:48.012991" ["timezone_type"]=> int(3) ["timezone"]=> string(16) "Europe/Amsterdam" } Error: why is it not a return TypeError? Created uniqueId 21 --------------[ TESTCASE ]-------------- resource(5) of type (stream) Error: why is it not a return TypeError? Created uniqueId 22

This tab shows result from various feature-branches currently under review by the php developers. Contact me to have additional branches featured.

Active branches

Archived branches

Once feature-branches are merged or declined, they are no longer available. Their functionality (when merged) can be viewed from the main output page

preferences:
34.86 ms | 422 KiB | 5 Q