liquidhaskell-0.4.0.0: tests/crash/CyclicExprAlias1.hs

module Test2 () where

{-@ expression CyclicB1 Q = CyclicB2 Q @-}
{-@ expression CyclicB2 Q = CyclicB1 Q @-}