Agda-2.3.2.2: test/fail/NoParseForLHS.agda

module NoParseForLHS where

data X : Set where
  _! : X -> X
  z  : X

right : X -> X
right (x !) = x
right z     = z !

wrong : X -> X
wrong (! x) = x
wrong z     = z !