liquidhaskell-0.9.0.2.1: tests/errors/CyclicExprAlias1.hs

{-@ LIQUID "--expect-error-containing=Cyclic type alias definition" @-}
module CyclicExprAlias1 () where

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