liquidhaskell-0.8.0.2: tests/errors/BadSyn2.hs

module Zoo where

type Foo = Int

{-@ bob :: Foo 1000 @-}
bob = 10 :: Int