Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T11947a.hs
1 {-# LANGUAGE TypeApplications, ScopedTypeVariables #-}
2 module T11947 where
3
4 theFloatDigits :: forall a. RealFloat a => Int
5 -- The type is ambiguous, despite potential defaulting
6 theFloatDigits = floatDigits (undefined @_ @a)