Add location to the extra-constraints wildcard
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T14584a.hs
1 {-# OPTIONS_GHC -fdefer-type-errors #-} -- Very important to this bug!
2 {-# Language PartialTypeSignatures #-}
3 {-# Language KindSignatures #-}
4 {-# Language PolyKinds #-}
5 {-# Language ScopedTypeVariables #-}
6 {-# Language AllowAmbiguousTypes #-}
7 {-# Language TypeApplications #-}
8
9 module T14584a where
10
11 f :: forall m. ()
12 f = id @m :: _
13
14 g :: forall m. ()
15 g = let h = id @m
16 in h