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 8.0.1 - 8.0.30, 8.1.0 - 8.1.33, 8.2.0 - 8.2.29, 8.3.0 - 8.3.28, 8.4.1 - 8.4.14, 8.5.0: 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.
Output for 8.4.15: /bin/php-8.4.15: /usr/lib/libm.so.6: version `GLIBC_2.38' not found (required by /bin/php-8.4.15) /bin/php-8.4.15: /usr/lib/libm.so.6: version `GLIBC_2.35' not found (required by /bin/php-8.4.15) /bin/php-8.4.15: /usr/lib/libc.so.6: version `GLIBC_2.34' not found (required by /bin/php-8.4.15) /bin/php-8.4.15: /usr/lib/libc.so.6: version `GLIBC_2.38' not found (required by /bin/php-8.4.15)
Process exited with code 1.

preferences:dark modelive previewkey bindings

124.51 ms | 407 KiB | 5 Q