/test-suite/bugs/closed/

• ../
• 1322.v
• shouldfail
• shouldsucceed