Agda-2.3.2.2: test/fail/FrozenMVar.err

Unsolved metas at the following locations:
  FrozenMVar.agda:14,7-8
  FrozenMVar.agda:17,9-13