diff --git a/TODO.txt b/TODO.txt
index 111f747275d96ecea076a6e84f69837f834c508c..78f965b426aa479e73a97b11dad40f480636e41d 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -32,3 +32,24 @@ This specific diagnostic is implemented, but others should be updated.
 C++ (checker): For iterators, warn of the use of "iterator++" instead
   of "++iterator" when when the value returned by operator++(int) is
   ignored.
+
+//===---------------------------------------------------------------------===//
+
+We want to keep more source range information in Declarator to help
+produce better diagnostics. Declarator::getSourceRange() should be
+implemented to give a range for the whole declarator with all of its
+specifiers, and DeclaratorChunk::ParamInfo should also have a source
+range covering the whole parameter, so that an error message like this:
+
+overloaded-operator-decl.cpp:37:23: error: parameter of overloaded post-increment operator must have type 'int' (not 'float')
+X operator++(X&, const float& f); 
+                              ^
+can be turned into something like this:
+
+overloaded-operator-decl.cpp:37:23: error: parameter of overloaded post-increment operator must have type 'int' (not 'float')
+X operator++(X&, const float& f); 
+  ^              ~~~~~~~~~~~~~~
+
+
+
+