testsuite/tests/typecheck/should_fail/T11947a.hs


1
2
3
4
5
6

{-# LANGUAGE TypeApplications, ScopedTypeVariables #-}
module T11947 where

theFloatDigits :: forall a. RealFloat a => Int
-- The type is ambiguous, despite potential defaulting
theFloatDigits = floatDigits (undefined @_ @a)