Test Trac #5084

testsuite/tests/ghc-regress/typecheck/should_fail/T5084.hs

+module T5084 where
+
+-- Superclass method pragma test (fail)
+class Foo a where
+    bar :: a -> a
+    {-# INLINE bar #-}
+
+-- Instance test (ok)
+instance Foo Int where
+    bar = (+1)
+    {-# INLINE bar #-}
+

testsuite/tests/ghc-regress/typecheck/should_fail/T5084.stderr

+
+T5084.hs:6:5:
+    The INLINE pragma for default method `bar' lacks an accompanying binding

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

@@ -227,3 +227,4 @@ test('T2846b', normal, compile_fail, [''])
 test('FrozenErrorTests', normal, compile_fail, [''])
 test('SCLoop', normal, compile_fail, [''])
 test('T4875', normal, compile_fail, [''])
+test('T5084', normal, compile_fail, [''])