id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
3102,The impossible happened with implicit parameters,Ashley Yakeley,igloo,"{{{
{-# OPTIONS -XImplicitParams -XRankNTypes #-}
module Bug where

t :: forall a. ((?p :: Int) => a) -> String
t _ = ""Hello""

f :: (forall a. a -> String) -> Int
f _ = 3

result :: Int
result = f t
}}}

{{{
$ ghc -c Bug.hs
ghc: panic! (the 'impossible' happened)
  (GHC version 6.10.1 for x86_64-unknown-linux):
	TcTyFuns.flattenType: unexpected PredType
}}}",merge,closed,normal,6.12.1,Compiler (Type checker),6.10.1,fixed,,,Linux,Unknown/Multiple,None/Unknown,Unknown,tyepcheck/should_fail/T3102,,,