diff --git a/message-index/messages/GHC-10173/index.md b/message-index/messages/GHC-10173/index.md
new file mode 100644
index 00000000..a826f463
--- /dev/null
+++ b/message-index/messages/GHC-10173/index.md
@@ -0,0 +1,14 @@
+---
+title: No top level binding to annotate
+summary: There is no top level binding this annotation can match.
+severity: error
+introduced: 9.6.1
+---
+
+There is no binding available that this annotation can match.
+
+Common errors include:
+
+- The binding is not available at all.
+- The binding is available, but in the wrong namespace.
+- The binding is availabale, but defined in another module.
diff --git a/message-index/messages/GHC-10173/no-binding/after/NoBinding.hs b/message-index/messages/GHC-10173/no-binding/after/NoBinding.hs
new file mode 100644
index 00000000..bfce66ae
--- /dev/null
+++ b/message-index/messages/GHC-10173/no-binding/after/NoBinding.hs
@@ -0,0 +1,6 @@
+module NoBinding where
+
+{-# ANN foo "Bar" #-}
+
+foo :: Integer
+foo = 1
diff --git a/message-index/messages/GHC-10173/no-binding/before/ NoBinding.hs b/message-index/messages/GHC-10173/no-binding/before/ NoBinding.hs
new file mode 100644
index 00000000..f1eaa2cc
--- /dev/null
+++ b/message-index/messages/GHC-10173/no-binding/before/ NoBinding.hs	
@@ -0,0 +1,3 @@
+module NoBinding where
+
+{-# ANN foo "Bar" #-}
diff --git a/message-index/messages/GHC-10173/no-binding/index.md b/message-index/messages/GHC-10173/no-binding/index.md
new file mode 100644
index 00000000..2a6fd6e9
--- /dev/null
+++ b/message-index/messages/GHC-10173/no-binding/index.md
@@ -0,0 +1,4 @@
+---
+title: No Binding available
+order: 1
+---
diff --git a/message-index/messages/GHC-10173/not-in-module/after/NotInModule.hs b/message-index/messages/GHC-10173/not-in-module/after/NotInModule.hs
new file mode 100644
index 00000000..5b639878
--- /dev/null
+++ b/message-index/messages/GHC-10173/not-in-module/after/NotInModule.hs
@@ -0,0 +1,6 @@
+module NotInModule where
+
+{-# ANN myLength "an annotation" #-}
+
+myLength :: Foldable t => t a -> Int
+myLength = length
diff --git a/message-index/messages/GHC-10173/not-in-module/before/NotInModule.hs b/message-index/messages/GHC-10173/not-in-module/before/NotInModule.hs
new file mode 100644
index 00000000..0640c6d1
--- /dev/null
+++ b/message-index/messages/GHC-10173/not-in-module/before/NotInModule.hs
@@ -0,0 +1,3 @@
+module NotInModule where
+
+{-# ANN length "an annotation" #-}
diff --git a/message-index/messages/GHC-10173/not-in-module/index.md b/message-index/messages/GHC-10173/not-in-module/index.md
new file mode 100644
index 00000000..22b9a8d0
--- /dev/null
+++ b/message-index/messages/GHC-10173/not-in-module/index.md
@@ -0,0 +1,4 @@
+---
+title: Binding in another module
+order: 3
+---
diff --git a/message-index/messages/GHC-10173/wrong-namespace/after/WrongNamespace.hs b/message-index/messages/GHC-10173/wrong-namespace/after/WrongNamespace.hs
new file mode 100644
index 00000000..9930c947
--- /dev/null
+++ b/message-index/messages/GHC-10173/wrong-namespace/after/WrongNamespace.hs
@@ -0,0 +1,5 @@
+module WrongNamespace where
+
+data Foo = Bar
+
+{-# ANN type Foo (1 :: Int) #-}
diff --git a/message-index/messages/GHC-10173/wrong-namespace/before/WrongNamespace.hs b/message-index/messages/GHC-10173/wrong-namespace/before/WrongNamespace.hs
new file mode 100644
index 00000000..e0a3bf4b
--- /dev/null
+++ b/message-index/messages/GHC-10173/wrong-namespace/before/WrongNamespace.hs
@@ -0,0 +1,5 @@
+module WrongNamespace where
+
+data Foo = Bar
+
+{-# ANN Foo (1 :: Int) #-}
diff --git a/message-index/messages/GHC-10173/wrong-namespace/index.md b/message-index/messages/GHC-10173/wrong-namespace/index.md
new file mode 100644
index 00000000..58950c63
--- /dev/null
+++ b/message-index/messages/GHC-10173/wrong-namespace/index.md
@@ -0,0 +1,4 @@
+---
+title: Binding available, but in the wrong namespace
+order: 2
+---