path: root/testsuite/tests/typecheck/should_fail/T12178a.hs

{-# LANGUAGE PatternSynonyms #-}

module T12178a where

-- Trying to inline a data constructor fails
data L a = C a (L a) | T
{-# INLINE C #-}