idris-1.3.3: test/totality026/expected.out

totality026.idr:5:8-17:
  |
5 | p Here impossible
  |        ~~~~~~~~~~
p Here is a valid case