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