Test Trac #2735

testsuite/tests/ghc-regress/typecheck/should_compile/T2735.hs

+-- Trac #2735
+
+module Bug where
+
+data S = S { s1 :: (), s2 :: () }
+
+f s = s { s1 = (), s2 = s1 s }

testsuite/tests/ghc-regress/typecheck/should_compile/all.T

@@ -287,6 +287,7 @@ test('LoopOfTheDay3', normal, compile, [''])
 test('T1470', normal, compile, [''])
 test('T2572', normal, compile, [''])
 test('T2573', normal, compile, [''])
+test('T2735', normal, compile, [''])
 
 test('T2412',
      extra_clean(['T2412.hi-boot', 'T2412.o-boot',