No error on use of `unsafe_cast`

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

<?hh // partial

interface ISuper {}

interface IMarked {
  require implements ISuper;

  public function methodOfMarked(): int;
}