Agda-2.3.2.2: test/fail/Issue476b.agda

-- Useless abstract
module Issue476b where

abstract
  data A : Set

data A where