liquidhaskell-0.9.0.2.1: tests/pos/Absref_crash.hs

module Absref_crash where

data L a = C (L a)

{-@ data L a <p :: L a -> Bool> = C { xs :: L<p> a } @-}

{-@ lazy foo @-}
foo :: b -> L a
foo x = C $ foo x