1 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T18869.stderr b/testsuite/tests/typecheck/should_fail/T18869.stderr
new file mode 100644
index 0000000000..11c11f397e
--- /dev/null
+++ b/testsuite/tests/typecheck/should_fail/T18869.stderr
@@ -0,0 +1,24 @@
+
+T18869.hs:10:11: error:
+    • Constructor ‘MkFoo’ does not have the required strict field(s):
+        foo :: a
+    • In the expression: MkFoo {}
+      In an equation for ‘testFoo’: testFoo = MkFoo {}
+
+T18869.hs:16:11: error:
+    • Constructor ‘MkBar’ does not have the required strict field(s):
+        bar :: a
+    • In the expression: MkBar {}
+      In an equation for ‘testBar’: testBar = MkBar {}
+
+T18869.hs:22:11: error:
+    • Constructor ‘MkBaz’ does not have the required strict field(s):
+        baz2 :: a
+    • In the expression: MkBaz {baz1 = False}
+      In an equation for ‘testBaz’: testBaz = MkBaz {baz1 = False}
+
+T18869.hs:30:12: error:
+    • Constructor ‘MkQuux’ does not have the required strict field(s):
+        quux :: TQuux a
+    • In the expression: MkQuux {}
+      In an equation for ‘testQuux’: testQuux = MkQuux {}