Agda-2.3.2.2: test/fail/PragmaInMutual.err

PragmaInMutual.agda:11,3-30
Pragmas are not allowed in mutual blocks