Agda-2.3.2.2: test/interaction/Issue556.agda

module Issue556 (A : Set) (x : A) where

y : A
y = x