Agda-2.3.2.2: test/fail/PostulateInMutual.err

PostulateInMutual.agda:7,13-20
Postulates are not allowed in mutual blocks