3v4l.org

run code in 300+ PHP versions simultaneously

@ 2022-12-23T11:23:17Z

<?php
trait Eq
{
    abstract public function equiv(Eq $lhs, Eq $rhs): bool;
}

class Tuple2
{
    use Eq;
    public function __construct(public Eq $key, public Eq $value) {}
    public function equiv(Eq $lhs, Eq $rhs): bool
    {
        return $lhs->key->equiv($lhs->key, $rhs->key) && $lhs->value->equiv($lhs->value, $rhs->value);
    }
}

class Tuple3
{
    use Eq;
    public function __construct(public Eq $key, public Eq $value, public Eq $column) {}
    public function equiv(Eq $lhs, Eq $rhs): bool
    {
        return $lhs->key->equiv($lhs->key, $rhs->key)
            && $lhs->value->equiv($lhs->value, $rhs->value)
            && $lhs->column->equiv($lhs->column, $rhs->column);
    }
}

function check_equiv(Eq $lhs, Eq $rhs)
{
    return $lhs->equiv($lhs, $rhs);
}

var_dump(check_equiv(
    new Tuple3(new Tuple2(1, 2), new Tuple2(3, 4), new Tuple2(5, 6)),
    new Tuple3(new Tuple2(1, 2), new Tuple2(3, 4), new Tuple2(5, 6))
));

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught TypeError: Tuple2::__construct(): Argument #1 ($key) must be of type Eq, int given, called in /in/Hdmot on line 35 and defined in /in/Hdmot:10 Stack trace: #0 /in/Hdmot(35): Tuple2->__construct(1, 2) #1 {main} thrown in /in/Hdmot on line 10
Process exited with code 255.

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

2020-03-21 RFC: Is_Literal - declined
2020-12-04 Enumerations - included in PHP 8.1
2018-06-15 Typed Properties v2 - implemented in PHP 7.4
2016-08-12 Object typehint - included in PHP 7.2
2016-08-14 Arrow functions - withdrawn
2016-05-29 array_change_keys() - withdrawn
2016-04-19 Lexical scope support for anonymous classes - suspended
2016-04-17 Functional Interfaces - declined
2016-03-16 Typed Properties - superseded in favor of Typed Properties 2.0
2015-08-27 Callable Prototypes - declined
2015-05-01 Short Closures - declined / withdrawn in favor of Arrow Functions
2015-02-18 Scalar type hints v5 - included in PHP 7
2015-02-14 Union Types - declined
2013-09-22 Anonymous classes - included in PHP 7

preferences:dark modelive preview

39.9 ms | 401 KiB | 8 Q