liquidhaskell-0.9.0.2.1: tests/errors/HoleCrash1.hs

{-@ LIQUID "--expect-error-containing=Illegal type specification for `HoleCrash1.t`" @-}
{-@ LIQUID "--expect-error-containing=Illegal type specification for `HoleCrash1.C`" @-}
module HoleCrash1 where

data Poo a = C { t :: Poo a }

{-@ type Geq N = {v:_ | N <= v} @-}

{-@ data Poo a = C { t :: Poo (Geq 0) } @-}