liquidhaskell-0.7.0.0: tests/todo/RecordAccessors.hs

module RecordAccessors where

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

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