Test Trac #12229

testsuite/tests/rename/should_fail/T12229.hs

+{-# LANGUAGE RecordWildCards #-}
+
+module T12229 where
+
+data T = MkT { x, pi :: Float }
+
+f x = MkT { .. }  -- 'pi' is not initialised, because
+                  -- there is no local binding
+
+g x pi = MkT { .. }  -- 'pi' is initialised
+

testsuite/tests/rename/should_fail/T12229.stderr

+
+T12229.hs:7:7: warning: [-Wmissing-fields (in -Wdefault)]
+    • Fields of ‘MkT’ not initialised: pi
+    • In the expression: MkT {..}
+      In an equation for ‘f’: f x = MkT {..}

testsuite/tests/rename/should_fail/all.T

@@ -138,3 +138,4 @@ test('T10781', normal, compile_fail, [''])
 test('T11071', normal, compile_fail, [''])
 test('T11071a', normal, compile_fail, [''])
 test('T11663', normal, compile_fail, [''])
+test('T12229', normal, compile, [''])