<?hh
// Copyright 2004-2015 Facebook. All Rights Reserved.

// Note that this is not the case when compiling with WholeProgram
// mode, and Option::HardTypeHints, so this test is disabled for repo.

// Make sure we're tolerant of code that swallows typehint failures.
function error_handler() {
  var_dump(func_get_args());
  return true;
}

function main(integer $foo) {
  echo "in main\n";
  var_dump(is_int($foo));
}
set_error_handler('error_handler');
main(0.0);
echo "done with main\n";
