Require ScopedTypeVariables+TypeApplications to use type applications in patterns

Fixes #19109.

1 files changed, 5 insertions, 5 deletions

diff --git a/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr b/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr
index 06f7c3adca..2efb51a5c1 100644
--- a/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr
+++ b/testsuite/tests/typecheck/should_fail/TyAppPat_ExistentialEscape.stderr
@@ -1,15 +1,15 @@
 
-TyAppPat_ExistentialEscape.hs:9:20: error:
+TyAppPat_ExistentialEscape.hs:10:20: error:
     • Couldn't match expected type ‘p’ with actual type ‘a’
       ‘a’ is a rigid type variable bound by
         a pattern with constructor: Some :: forall a. a -> Some,
         in an equation for ‘foo’
-        at TyAppPat_ExistentialEscape.hs:9:6-14
+        at TyAppPat_ExistentialEscape.hs:10:6-14
       ‘p’ is a rigid type variable bound by
         the inferred type of foo :: Some -> p
-        at TyAppPat_ExistentialEscape.hs:9:1-26
+        at TyAppPat_ExistentialEscape.hs:10:1-26
     • In the expression: x :: a
       In an equation for ‘foo’: foo (Some @a x) = (x :: a)
     • Relevant bindings include
-        x :: a (bound at TyAppPat_ExistentialEscape.hs:9:14)
-        foo :: Some -> p (bound at TyAppPat_ExistentialEscape.hs:9:1)
+        x :: a (bound at TyAppPat_ExistentialEscape.hs:10:14)
+        foo :: Some -> p (bound at TyAppPat_ExistentialEscape.hs:10:1)