Agda-2.3.2.2: test/fail/UnknownNameInFixityDecl.err

UnknownNameInFixityDecl.agda:5,11-14
Names out of scope in fixity declarations: _*_ _+_