/test/typecheck/

• ../
• fail
• pass
• run_tests.sh