Agda-2.3.2.2: test/fail/Issue329.err

Issue329.agda:5,14-24
Names out of scope in fixity declarations: Undeclared