Agda-2.3.2.2: test/fail/Unreachable.err

Unreachable.agda:21,1-23,14
Unreachable clauses
when checking the definition of unreachable