[GHC] #11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type Variables

[GHC]

#11663: GHC 8.0 type assignment in arguments of lambda working without Scoped Type
Variables
-------------------------------------+-------------------------------------
        Reporter:  bitemyapp         |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler          |              Version:  8.0.1-rc2
      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 simonpj):

 I have no idea.  It should really be rejected without language extensions.
 If someone would like to poke around and see where the missing test is,
 it'd be great.  Can't be hard.

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