Agda-2.3.2.2: test/fail/Issue483.err

Unsolved metas at the following locations:
  Issue483.agda:17,7-8
  Issue483.agda:17,16-20