Agda-2.3.2.2: test/interaction/Issue453.agda

module Issue453 where

postulate
  A     : Set
  fails : {x : _} → A