Agda-2.3.2.2: test/fail/InstanceArgumentsNotFound.agda
module InstanceArgumentsNotFound where
postulate A B : Set
f : {{a : A}} → B
test : B
test = f
module InstanceArgumentsNotFound where
postulate A B : Set
f : {{a : A}} → B
test : B
test = f