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

{-# LANGUAGE TypeFamilies, FlexibleContexts #-}
module T21130 where

type family Item l
type instance Item [a] = a

f :: Enum (Item l) => l
f = f

x = (_ f) :: Int