summaryrefslogtreecommitdiff
path: root/testsuite/tests/rename/should_fail/T16002.hs
blob: 00aadf14dd01fd9e10b12e8505123d2e707b0d56 (plain)
1
2
3
4
5
6
{-# LANGUAGE TypeFamilies #-}
module T16002 where

data A
type family B (x :: *) :: * where
  A x = x