path: root/tests/patmat/t7466.check

8: Pattern Match Exhaustivity: (true, _), (false, _), (_, true), (_, false)