Agda-2.3.2.2: test/fail/PatternSynonymNoParse.agda

module PatternSynonymNoParse where

pattern f x = a b