Agda-2.3.2.2: test/fail/PatternSynonymMutualBlock.err

PatternSynonymMutualBlock.agda:7,3-16
Pattern synonyms are not allowed in mutual blocks