not all calls invalidate fake members

[hiphop-php.git] / hphp / hack / test / typecheck / fake_members / dont_invalidate_is_null.php

<?hh // strict

class A {
  public ?int $y;
}

function f(A $x, ?A $y): void {
  if (!is_null($x->y) && !is_null($y)) {
    expect_nonnull($x->y);
  }
}

function expect_nonnull(nonnull $x): void {}