No error on use of `unsafe_cast`

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

<?hh // strict

class A {
  public int $infinity = 0;
  public function cmp(A $other): int {
    return $this->infinity - $other->infinity;
  }
}