path: root/tests/patmat/t9351.check

8: Pattern Match Exhaustivity: _: A
17: Pattern Match Exhaustivity: (_, _), (_, None), (_, Some(_))
28: Pattern Match Exhaustivity: (_, _)