path: root/tests/patmat/patmat-adt.check

7: Pattern Match Exhaustivity: Bad(Good(_)), Good(Bad(_))
19: Pattern Match Exhaustivity: Some(_)
24: Pattern Match Exhaustivity: (None, Some(_)), (_, Some(_))
29: Pattern Match Exhaustivity: (None, None), (Some(_), Some(_))
50: Pattern Match Exhaustivity: LetL(BooleanLit), LetL(IntLit)