testsuite/tests/safeHaskell/safeInfered/UnsafeInfered14.hs


1
2
3
4
5
6
7
8
9
10

{-# OPTIONS_GHC -fwarn-unsafe -Werror #-}
{-# LANGUAGE FlexibleInstances #-}
module UnsafeInfered14 where

class C a where
  f :: a -> String

instance {-# OVERLAPPABLE #-} C a where
  f _ = "a"