diff --git a/tests/typecheck/should_run/tcrun043.hs b/tests/typecheck/should_run/tcrun043.hs
index 6500df70008be1af5b12344090c2cf131cada5c2..152dba312ed276e35cb729668c41a4ae0149eb3b 100644
--- a/tests/typecheck/should_run/tcrun043.hs
+++ b/tests/typecheck/should_run/tcrun043.hs
@@ -24,6 +24,9 @@ g Fish x = Right (x + 1)
 
 type TwoConstraints a = (Show a, Num a)
 
+-- We'll NOINLINE h so that we test the code generation for
+-- constraint tuples
+{-# NOINLINE h #-}
 h :: TwoConstraints a => a -> String
 h x = show (x + 1)