New inference: improved error message for unresolved type

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

<?hh // partial
class :foo {
  attribute :bar;
}
class :bar {
  attribute array blah = array();
}
function test(:foo $obj): int {
  return $obj->:blah;
}