liquidhaskell-0.6.0.0: tests/neg/listne.hs

{-@ type ListNE a = {v:[a] | 0 < len v} @-}

{-@ junkProp :: ListNE Int @-}
junkProp :: [Int]
junkProp = []