Agda-2.3.2.2: test/interaction/Issue271.agda
module Issue271 where
data D (A : Set) : Set where
d : D A → D A
f : {A : Set} → D A → D A
f x = d {!!}
module Issue271 where
data D (A : Set) : Set where
d : D A → D A
f : {A : Set} → D A → D A
f x = d {!!}