liquidhaskell-0.7.0.0: tests/neg/T745.hs

{-@ LIQUID "--diff" @-}

module Foo where 

foo :: () -> ()
foo () = foo ()