Agda-2.3.2.2: test/fail/Issue555c.agda
module Issue555c where
import Common.Level
record R {a} (A : Set a) : Set
record R A where
field f : Amodule Issue555c where
import Common.Level
record R {a} (A : Set a) : Set
record R A where
field f : A