Agda-2.3.2.2: test/succeed/InstanceArgumentsBraces.agda

module InstanceArgumentsBraces where

record T' : Set where

record T'' : Set where
  field a : T'

testT'' : T''
testT'' = record { a = record {}}