Handling of DependentScopeDeclRefExpr and CXXDependentScopeMemberExpr nodes.

tools/clang/rewrite_to_chrome_style/tests/function-templates-original.cc

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 namespace WTF {
 
 template<typename To, typename From>
 bool isInBounds(From value) {
   return true;
 }
 
 template<typename To, typename From>
 To safeCast(From value) {
   if (!isInBounds<To>(value))
     return 0;
   return static_cast<To>(value);
 }
 
 template<typename T, typename OverflowHandler>
 class Checked {
  public:
   template<typename U, typename V>
   Checked(const Checked<U, V>& rhs){
-    // This (incorrectly) doesn't get rewritten, since it's not instantiated. In
-    // this case, the AST representation contains a bunch of
-    // CXXDependentScopeMemberExpr nodes.
     if (rhs.hasOverflowed())
       this->overflowed();
     if (!isInBounds<T>(rhs.m_value))
       this->overflowed();
     m_value = static_cast<T>(rhs.m_value);
   }
 
   bool hasOverflowed() const { return false; }
   void overflowed() { }
 
  private:
   T m_value;
 };
 
 template<typename To, typename From>
 To bitwise_cast(From from) {
-  static_assert(sizeof(To) == sizeof(From));
+  static_assert(sizeof(To) == sizeof(From), "msg");
   return reinterpret_cast<To>(from);
 }
 
 }  // namespace WTF
 
+namespace mojo {
+
+template <typename U>
+struct ArrayTraits;
+
+template <typename U>
+struct ArrayTraits<WTF::Checked<U, int>> {
+  static bool HasOverflowed(WTF::Checked<U, int>& input) {
+    // |hasOverflowed| below should be rewritten to |HasOverflowed|
+    // (because this is a method of WTF::Checked;  it doesn't matter
+    // that we are not in WTF namespace *here*).
+    return input.hasOverflowed();
+  }
+};
+
+}  // namespace mojo
+
 using WTF::bitwise_cast;
 using WTF::safeCast;