path: root/tests/patmat/t4691_exhaust_extractor.check

17: Pattern Match Exhaustivity: _: Bar3
23: Pattern Match Exhaustivity: _: Bar3
29: Pattern Match Exhaustivity: _: Bar3