Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T12529.hs
1 {-# LANGUAGE TypeApplications #-}
2
3 module T12529 where
4
5 f = p @ Int