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

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE RankNTypes #-}

module T1 where



g :: Int -> Char

g _ = 'a'



f :: Int -> Show Int => ()
f = g