This is deliberately an unconfigurable convenience wrapper
namespace HH\Client; function typecheck_and_error(): void;
If you want full configurability, call typecheck() and use the TypecheckResult yourself.
void