liquidhaskell-0.9.0.2.1: tests/errors/BadSyn2.hs

{-@ LIQUID "--expect-error-containing=Malformed application of type alias `BadSyn2.Foo`" @-}
module BadSyn2 where

type Foo = Int

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