No error on use of `unsafe_cast`

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

<?hh // strict
class :foo {
  // Typechecker must consider this nullable
  attribute int x = null;
}
function test1(:foo $obj): int {
  // Typechecker should detect a mismatch here
  return $obj->:x;
}