Agda-2.3.2.2: test/fail/Issue631.err

Unsolved metas at the following locations:
  Issue631.agda:20,15-16