liquidhaskell-0.4.0.0: tests/pos/AssumedRecursive.hs

module Foo where

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