testsuite: Add test for #19413

This was fixed as a result of #19181.

testsuite/tests/simplCore/should_run/T19413.hs

+{-# OPTIONS_GHC -O1 #-}
+
+import System.IO.Unsafe
+import Data.IORef
+
+{-# NOINLINE resourceId #-}
+resourceId :: IO Int
+resourceId = unsafePerformIO counter
+
+counter :: IO (IO Int)
+counter = do
+    ref <- newIORef 0
+    pure $ atomicModifyIORef' ref $ \i -> let j = i + 1 in (j, j)
+
+main = do
+    print =<< resourceId
+    print =<< resourceId

testsuite/tests/simplCore/should_run/T19413.stdout

+1
+2

testsuite/tests/simplCore/should_run/all.T

@@ -97,3 +97,4 @@ test('NumConstantFolding8', normal, compile_and_run, [''])
 test('NumConstantFolding16', normal, compile_and_run, [''])
 test('NumConstantFolding32', normal, compile_and_run, [''])
 test('NumConstantFolding', normal, compile_and_run, [''])
+test('T19413', normal, compile_and_run, [''])