liquidhaskell-0.8.2.0: tests/todo/NoInlines.hs

module Foo where

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