Agda-2.3.2.2: test/fail/Issue483c.err

Unsolved metas at the following locations:
  Issue483c.agda:20,9-10
  Issue483c.agda:21,9-13