Agda-2.3.2.2: test/fail/Issue585t.err

Unsolved metas at the following locations:
  Issue585t.agda:24,9-10
  Issue585t.agda:24,7-10