Agda-2.3.2.2: test/fail/Issue418.err

Unsolved metas at the following locations:
  Issue418.agda:12,18-19
  Issue418.agda:13,14-18