Online PHP editor | rfc for l8eG6

@ 2024-05-08T12:50:06Z

<?php

interface I {}
interface J {}
// Simulate a "never" parameter type.
interface AlmostNever extends I, J {}
class C implements I {}

interface Base {
    public function foo(AlmostNever $x, AlmostNever $y): mixed;
}

interface ReturnI extends Base {
    public function foo(AlmostNever $x, AlmostNever $y): I;
}

interface AcceptI extends Base {
    public function foo(I $x, AlmostNever $y): mixed;
}

interface AcceptSecondI extends Base {
    public function foo(AlmostNever $x, I $y): mixed;
}

class AcceptReturnI implements ReturnI, AcceptI, AcceptSecondI {
    public function foo(I $x, I $y): I {
        return $x;
    }
}

function f(AcceptI&AcceptSecondI&ReturnI $callme, I $x): I {
    return $callme->foo($x, $x);
}


f(new AcceptReturnI(), new C(), new C());

Output for git.master_jit, git.master, rfc.property-hooks

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 previewkey bindings