Check for void/noreturn in conditionals

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

<?hh // strict
class :foo {
  attribute int x = 0;
  public string $x = "";
}
function test1(:foo $obj): int {
  return $obj->:x;
}
function test2(:foo $obj): string {
  return $obj->x;
}