Update rnfail023 test to test the behaviour of #5084

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 #-}
+

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