Agda-2.3.2.2: test/fail/PatternSynonymAmbiguousParse.agda

module PatternSynonymAmbiguousParse where

data X : Set where
  if_then_else_ : X -> X -> X -> X
  if_then_      : X -> X -> X
  x             : X

pattern bad x = if x then if x then x else x