liquidhaskell-0.9.0.2.1: tests/neg/T1288.hs

{-@ LIQUID "--expect-any-error" @-}
module T1288 where

{-@ measure foo @-}
foo :: () -> Int
foo _ = 10

{-@ blub :: {v:Int | v = 100} @-}
blub = foo ()