Agda-2.3.2.2: test/fail/InstanceArgumentsBraceSpaces.err

InstanceArgumentsBraceSpaces.agda:5,19-19
InstanceArgumentsBraceSpaces.agda:5,19:
Expecting '}}', found separated '}'s. →<ERROR> B ...