1 files changed, 37 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_fail/T14584a.stderr b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr
new file mode 100644
index 0000000000..5687dcec51
--- /dev/null
+++ b/testsuite/tests/partial-sigs/should_fail/T14584a.stderr
@@ -0,0 +1,37 @@
+
+T14584a.hs:12:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
+    • Couldn't match expected type ‘()’ with actual type ‘m -> m’
+    • In the expression: id @m :: _
+      In an equation for ‘f’: f = id @m :: _
+
+T14584a.hs:12:9: warning: [-Wdeferred-type-errors (in -Wdefault)]
+    • Expected a type, but ‘m’ has kind ‘k2’
+    • In the type ‘m’
+      In the expression: id @m :: _
+      In an equation for ‘f’: f = id @m :: _
+
+T14584a.hs:12:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
+    • Found type wildcard ‘_’ standing for ‘m -> m’
+      Where: ‘m’, ‘k’ are rigid type variables bound by
+               the type signature for:
+                 f :: forall k2 (m :: k2). ()
+               at T14584a.hs:11:1-17
+    • In an expression type signature: _
+      In the expression: id @m :: _
+      In an equation for ‘f’: f = id @m :: _
+    • Relevant bindings include f :: () (bound at T14584a.hs:12:1)
+
+T14584a.hs:15:17: warning: [-Wdeferred-type-errors (in -Wdefault)]
+    • Expected a type, but ‘m’ has kind ‘k2’
+    • In the type ‘m’
+      In the expression: id @m
+      In an equation for ‘h’: h = id @m
+    • Relevant bindings include h :: m -> m (bound at T14584a.hs:15:9)
+
+T14584a.hs:16:8: warning: [-Wdeferred-type-errors (in -Wdefault)]
+    • Couldn't match expected type ‘()’ with actual type ‘m -> m’
+    • Probable cause: ‘h’ is applied to too few arguments
+      In the expression: h
+      In the expression: let h = id @m in h
+      In an equation for ‘g’: g = let h = id @m in h
+    • Relevant bindings include h :: m -> m (bound at T14584a.hs:15:9)