liquidhaskell-0.8.0.2: tests/todo/NoInlines.hs

module Foo where

foo :: IO ()
foo =
  if True 
    then return ()
    else return ()