Agda-2.3.2.2: test/fail/Issue329.agda

module Issue329 where

mutual
  infixl 0 D Undeclared
  data D : Set where