Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / FrozenErrorTests.hs
index 479087b..390333c 100644 (file)
@@ -6,10 +6,6 @@ data T a where
   MkT :: a -> T a 
   MkT3 :: forall a. (a ~ Bool) => T a 
 
--- Occurs checks in givens
-foo :: forall a. (a ~ T a) => a -> a 
-foo x = x 
-
 -- Mismatches in givens 
 bloh :: T Int -> () 
 bloh x = case x of