Agda-2.3.2.2: test/fail/Issue586.agda

module Issue586 where

{-# NO_TERMINATION_CHECK #-}
Foo : Set
Foo = Foo