diff --git a/tests/ghc-regress/rename/should_fail/rnfail023.hs b/tests/ghc-regress/rename/should_fail/rnfail023.hs
index bf7c4a2f207527bd47959be2c00dfccb30e1a064..7f5126f21e26a7848ee781978a7d57c8969d003a 100644
--- a/tests/ghc-regress/rename/should_fail/rnfail023.hs
+++ b/tests/ghc-regress/rename/should_fail/rnfail023.hs
@@ -13,3 +13,13 @@ h x = x
     where
       g :: Int -> Int	-- Bogus
 
+-- Superclass method pragma test
+class Foo a where
+    bar :: a -> a
+    {-# INLINE bar #-}
+
+-- Instance test
+instance Foo Int where
+    bar = (+1)
+    {-# INLINE not_bar #-}
+
diff --git a/tests/ghc-regress/rename/should_fail/rnfail023.stderr b/tests/ghc-regress/rename/should_fail/rnfail023.stderr
index ec9d81ab76b7040835f293c8176f076c4f62df21..edd4a8b9309014b6dde8696d61d1f4f16de77004 100644
--- a/tests/ghc-regress/rename/should_fail/rnfail023.stderr
+++ b/tests/ghc-regress/rename/should_fail/rnfail023.stderr
@@ -7,3 +7,10 @@ rnfail023.hs:8:12:
 
 rnfail023.hs:14:7:
     The type signature for `g' lacks an accompanying binding
+
+rnfail023.hs:19:16:
+    The INLINE pragma for `bar' lacks an accompanying binding
+      (The INLINE pragma must be given where `bar' is declared)
+
+rnfail023.hs:24:16:
+    The INLINE pragma for `not_bar' lacks an accompanying binding