Agda-2.3.2.2: test/fail/Issue279.err
Issue279.agda:20,10-12 the constructor tt does not construct an element of ⊥ when checking that the expression tt has type ⊥
Issue279.agda:20,10-12 the constructor tt does not construct an element of ⊥ when checking that the expression tt has type ⊥