path: root/tests/patmat/t5440.check

2: Pattern Match Exhaustivity: (Nil, List(_)), (List(_), Nil)