path: root/tests/patmat/t9289.check

9: Pattern Match Exhaustivity: module.LetR()
20: Pattern Match Exhaustivity: module.LetR()