Agda-2.3.2.2: test/fail/ConstructorHeadedDivergenceIn2-2-10.err

Unsolved metas at the following locations:
  ConstructorHeadedDivergenceIn2-2-10.agda:27,5-6
  ConstructorHeadedDivergenceIn2-2-10.agda:30,8-20