Agda-2.3.2.2: test/fail/TerminationWithMerge.err

TerminationWithMerge.agda:19,1-21,12
Unreachable clause
when checking the definition of with-16