Error on self::class on non final classes

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

function expect<T>(T $_): void {}

function test(?int $x): void {
  try {
    if ($x === null) {
      return;
    }
  } catch (Exception $_) {
    expect<int>($x);
  }
}