Issue3065.agda:13,1-22
Unreachable clause
when checking the definition of test

———— All done; warnings encountered ————————————————————————

Issue3065.agda:13,1-22
Unreachable clause
when checking the definition of test
