3v4l.org

run code in 300+ PHP versions simultaneously

@ 2022-06-20T16:52:53Z

<?php

/** @template T of string|null */
class StringOrNull
{
  /** @var T */
  public ?string $value;

  /** @param T $value */
  public function __construct(?string $value) {
    $this->value = $value;
  }
  
  /**
   * @template T2 of string|int
   * @param T2 $value
   * @psalm-this-out self<T2>
   */
  public function setFromStringOrInt(string|int $value): void {
    if (is_string($value)) {
        // This is a separate issue, probably https://github.com/vimeo/psalm/issues/7739
        $this->value = $value;
    }
  }
}

class Foo
{
    /** @var list<StringOrNull<null>> */
    private array $nulls = [];
    
    /** @param list<StringOrNull<null>> $nulls */
    public function __construct(array $nulls)
    {
        $this->nulls = $nulls;
    }
    
    public function assertAllNull(): void
    {
        foreach ($this->nulls as $null) {
            assert($null->value === null);
        }
    }
}

$stringOrNull = new StringOrNull(null);
$foo = new Foo([$stringOrNull]);
$stringOrNull->setFromStringOrInt("foobar");
$foo->assertAllNull();

Output for git.master, git.master_jit, rfc.property-hooks: Fatal error: Uncaught AssertionError: assert($null->value === null) in /in/mKN4o:41 Stack trace: #0 /in/mKN4o(41): assert(false, 'assert($null->v...') #1 /in/mKN4o(49): Foo->assertAllNull() #2 {main} thrown in /in/mKN4o on line 41
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

52.19 ms | 405 KiB | 5 Q