path: root/testsuite/tests/ghc-regress/indexed-types/should_fail/T3092.hs

{-# LANGUAGE TypeFamilies #-}
module T3092 where

data T a = T1 a
data instance T Int = T2 Char

type S b = b
type instance S Int = Char