3 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/th/T17461.hs b/testsuite/tests/th/T17461.hs
new file mode 100644
index 0000000000..d331a58166
--- /dev/null
+++ b/testsuite/tests/th/T17461.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE StandaloneKindSignatures #-}
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE TypeOperators #-}
+module T17461 where
+
+import Data.Kind
+
+$([d| type (:+:) :: Type -> Type -> Type
+      type (:+:) = Either
+    |])
diff --git a/testsuite/tests/th/T17461.stderr b/testsuite/tests/th/T17461.stderr
new file mode 100644
index 0000000000..cc730400bf
--- /dev/null
+++ b/testsuite/tests/th/T17461.stderr
@@ -0,0 +1,7 @@
+T17461.hs:(8,3)-(10,6): Splicing declarations
+    [d| type (:+:) :: Type -> Type -> Type
+        
+        type (:+:) = Either |]
+  ======>
+    type (:+:) :: Type -> Type -> Type
+    type (:+:) = Either
diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T
index a75703dd83..b63b0ceb01 100644
--- a/testsuite/tests/th/all.T
+++ b/testsuite/tests/th/all.T
@@ -491,3 +491,4 @@ test('T17380', normal, compile_fail, [''])
 test('T17394', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
 test('T17379a', normal, compile_fail, [''])
 test('T17379b', normal, compile_fail, [''])
+test('T17461', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])