Agda-2.3.2.2: test/fail/FixityOutOfScopeInRecord.err

FixityOutOfScopeInRecord.agda:4,13-16
Names out of scope in fixity declarations: _+_