liquidhaskell-0.8.10.7: tests/pattern/pos/Return01.hs

module Return01 where

{-@ silly :: IO {v:Int | v = 0} @-}
silly :: IO Int
silly = return 0