Agda-2.3.2.2: test/fail/Issue483b.err

Unsolved metas at the following locations:
  Issue483b.agda:12,16-17
  Issue483b.agda:14,10-14