Agda-2.3.2.2: test/fail/Issue329b.err

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