1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/th/T14885a.hs b/testsuite/tests/th/T14885a.hs
new file mode 100644
index 0000000000..0971606dc5
--- /dev/null
+++ b/testsuite/tests/th/T14885a.hs
@@ -0,0 +1,18 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE InstanceSigs #-}
+
+module T14885a where
+
+class Foo1 a where
+  bar1 :: forall b. a -> b -> b
+  bar1 _ x = (x :: b)
+
+$([d| class Foo2 a where
+        bar2 :: forall b. a -> b -> b
+        bar2 _ x = (x :: b)
+
+      instance Foo2 Int where
+        bar2 :: forall b. Int -> b -> b
+        bar2 _ x = (x :: b)
+    |])