path: root/tests/patmat/t9657.check

29: Pattern Match Exhaustivity: Bus(_)
38: Pattern Match Exhaustivity: Bus(_)
49: Pattern Match Exhaustivity: Bus(_)
58: Pattern Match Exhaustivity: Bus(_)