liquidhaskell-0.8.0.2: tests/todo/FldBug.hs

module Foo where

{-@ data Foo = F { thing :: Nat } @-}
data Foo = F { thing :: Int }


{-@ bar :: Foo -> Nat @-}
bar z = thing z