Agda-2.3.2.2: test/fail/SyntaxForOperators.agda

module SyntaxForOperators where

postulate _+_ : Set → Set → Set

syntax _+_ A B = A ⊎ B