path: root/tests/patmat/t4526.check

2: Pattern Match Exhaustivity: _: Int
7: Pattern Match Exhaustivity: (_, _)
12: Pattern Match Exhaustivity: (false, false), (true, true)