Agda-2.3.2.2: test/fail/Issue292.err

Failed to solve the following constraints:
  [0] Is empty: false2 ≅ true
  [0] Is empty: true2 ≅ true