New inference: improved error message for unresolved type

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

<?hh // strict

namespace NS1\NS2 {
  const int X = 0;
}

function test(): int {
  return \NS1\NS2\X;
}