Agda-2.3.2.2: test/succeed/Issue502.agda

module Issue502 where

record R : Set where
  record S (A : Set) : Set where
    field
      f : A → A