Agda-2.3.2.2: test/fail/PatternSynonymMutualBlock.agda

module PatternSynonymMutualBlock where

data D : Set where
  c : D

mutual
  pattern p = c