Agda-2.3.2.2: test/fail/DontPrune.err

Unsolved metas at the following locations:
  DontPrune.agda:12,12-13
  DontPrune.agda:15,14-18
  DontPrune.agda:15,21-25