idris-1.2.0: test/totality022/expected

totality022.idr:7:20-29:
  |
7 | f _ [] (RSnoc _ _) impossible -- = ?wat
  |                    ~~~~~~~~~~
f _ [] (RSnoc _ _) is a valid case