idris-1.3.0: test/totality026/expected

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