liquidhaskell-0.4.0.0: tests/pos/ResolveB.hs

module ResolveB where

{-@ measure getFoo :: Foo -> Int
    getFoo (Foo x) = x
  @-}

data Foo = Foo Int

data Bar = A | B | C