liquidhaskell-0.8.0.2: tests/errors/BadAliasApp.hs

module BadExprArg where

{-@ type ListN a N = {v:[a] | len v = N} @-}

{-@ foo :: ListN 0 0 @-}
foo :: [a]
foo = undefined