7332e9c1d ^
0c4a06f84 ^
1
2
3
9: Pattern Match Exhaustivity: Nil 23: Pattern Match Exhaustivity: true, false 27: Pattern Match Exhaustivity: _: Int