Agda-2.3.2.2: test/fail/Issue328.err

Issue328.agda:5,13-20
Postulates are not allowed in mutual blocks