Agda-2.3.2.2: test/fail/Issue585.err

Unsolved metas at the following locations:
  Issue585.agda:52,49-50
  Issue585.agda:52,45-48
  Issue585.agda:52,3-56