/test/typecheck/
../
fail
pass
run_tests.sh
update_errors.sh