Agda-2.3.2.2: test/fail/Imports/NonTerminating.agda

module Imports.NonTerminating where

Foo : Set
Foo = Foo