Agda-2.3.2.2: test/fail/Issue329c.err

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