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

{-# LANGUAGE TypeFamilyDependencies #-}
module T12430 where

type C a = Int
type family F x = y | y -> x where
  F x = C x