Agda-2.3.2.2: test/fail/InstanceArgumentsBraceSpaces.agda

module InstanceArgumentsBraceSpaces where

postulate
  A B : Set
  test : {{a : A} } → B