liquidhaskell-0.8.10.1: tests/neg/CastedTotality.hs

module Fixme where

import Language.Haskell.Liquid.Prelude

main = show x
  where Just x = (Nothing :: Maybe Int)


main0 = do 
     let Just x = Nothing 
     print (x :: Int)