Several XHP autocomplete fixes

[hiphop-php.git] / hphp / hack / test / identify_symbol / undefined_symbol.php

<?hh // strict

function test() {
  // we know the type, position and name of this symbol, but we won't know
  // where it's definition is
  undefined_function();
}