Agda-2.3.2.2: test/fail/Issue138.err

Issue138.agda:6,3-25
Record types are not allowed in mutual blocks