[GHC] #14990: "Valid refinement suggestions" have the wrong types

[GHC]

#14990: "Valid refinement suggestions" have the wrong types
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  Tritlo
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.5
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Tritlo):

 One issue that pops up: Is it more or less useful to have the type of the
 expression rather than the type of the function being suggested? In this
 case, it would be `(-) (_ :: Integer) :: Integer -> Integer`, as specified
 by the type of the hole. In fact, if we show the specialized type, it
 would be the type of the hole in all situations, since that's what we're
 looking for in the first place! Right?

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14990#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler