liquidhaskell-0.9.0.2.1: tests/neg/Listne.hs

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

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

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