Agda-2.3.2.2: test/fail/TerminationNoArgs.agda

module TerminationNoArgs where

loop : Set
loop = loop