Agda-2.3.2.2: test/fail/BrokenInferenceDueToNonvariantPolarity.err

Unsolved metas at the following locations:
  BrokenInferenceDueToNonvariantPolarity.agda:50,19-24
  BrokenInferenceDueToNonvariantPolarity.agda:50,26-34