liquidhaskell-0.9.0.2.1: tests/pos/AssumedRecursive.hs

module AssumedRecursive where

{-@ lazy foo @-}
{-@ assume foo :: a -> a @-}
foo :: a -> a
foo f = foo f