Agda-2.3.2.2: test/fail/NoPanic.err

Unsolved metas at the following locations:
  NoPanic.agda:23,15-16
  NoPanic.agda:23,15-18