Consider disabling TypeAbstractions in tests

[gustavo-grieco]

It seems that TypeAbstractions are enabled in test, but in theory, they should not be used. Removing that language extension compiles correctly.

[msooseth]

Hmmm but when I disable it, I get:

test/test.hs:725:98: warning: [GHC-69797]
    Type applications in constructor patterns will require
    the TypeAbstractions extension starting from GHC 9.12.
    Suggested fix: Perhaps you intended to use TypeAbstractions
    |
725 |     , testProperty "copySlice-equivalance" $ \(srcOff, GenCopySliceBuf src, GenCopySliceBuf dst, LitWord @300 size) -> propNoSimp $ do
    |                                                                                                  ^^^^^^^^^^^^^^^^^

test/test.hs:731:53: warning: [GHC-69797]
    Type applications in constructor patterns will require
    the TypeAbstractions extension starting from GHC 9.12.
    Suggested fix: Perhaps you intended to use TypeAbstractions
    |
731 |     , testProperty "indexWord-equivalence" $ \(src, LitWord @50 idx) -> propNoSimp $ do
    |                                                     ^^^^^^^^^^^^^^^

test/test.hs:735:72: warning: [GHC-69797]
    Type applications in constructor patterns will require
    the TypeAbstractions extension starting from GHC 9.12.
    Suggested fix: Perhaps you intended to use TypeAbstractions
    |
735 |     , testProperty "indexWord-mask-equivalence" $ \(src :: Expr EWord, LitWord @35 idx) -> propNoSimp $ do

I don't quite understand this... so it's going to be removed, but it's required :S Do you know what's going on? Apparently, there's a comment by the person who opened that thread, who managed to bump into the same issue:

https://gitlab.haskell.org/ghc/ghc/-/issues/25448#note_619763

So something is a bit weird...