Remove WRAPPER_VISITOR_SPECIAL_CLASSES

third_party/WebKit/Source/platform/heap/GarbageCollected.h

 // Copyright 2015 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.
 
 #ifndef GarbageCollected_h
 #define GarbageCollected_h
 
 #include "platform/heap/ThreadState.h"
 #include "wtf/Allocator.h"
 #include "wtf/Assertions.h"
 #include "wtf/TypeTraits.h"
 
 namespace blink {
 
 template <typename T>
 class GarbageCollected;
-class TraceWrapperBase;
 
 // GC_PLUGIN_IGNORE is used to make the plugin ignore a particular class or
 // field when checking for proper usage.  When using GC_PLUGIN_IGNORE
 // a bug-number should be provided as an argument where the bug describes
 // what needs to happen to remove the GC_PLUGIN_IGNORE again.
 #if COMPILER(CLANG)
 #define GC_PLUGIN_IGNORE(bug) \
   __attribute__((annotate("blink_gc_plugin_ignore")))
 #else
 #define GC_PLUGIN_IGNORE(bug)
@@ skipping 212 matching lines @@
 
 template <typename T>
 class NeedsAdjustAndMark<T, false> {
   static_assert(sizeof(T), "T must be fully defined");
 
  public:
   static const bool value =
       IsGarbageCollectedMixin<typename std::remove_const<T>::type>::value;
 };
 
-template <typename T,
-          bool = std::is_base_of<TraceWrapperBase,
-                                 typename std::remove_const<T>::type>::value>
-class CanTraceWrappers;
+template <typename T>
+class CanTraceWrappers {

[jbroman, 2017/03/07 17:46:09]

nit: Slightly more concisely (and happens to also check that it's a function
that returns void, not that it matters much):

template <typename T, typename = void>
struct CanTraceWrappers : std::false_type {};

template <typename T>
struct HasFoo<T, decltype(std::declval<T&>().markAndDispatchTraceWrappers())> :
std::true_type {};

[jbroman, 2017/03/07 17:47:38]

Err, replace "HasFoo" with "CanTraceWrappers". Forgot to replace that when
editing.

[adithyas, 2017/03/07 18:40:46]

Much better, thanks!

+  typedef char YesType;
+  typedef long NoType;
 
-template <typename T>
-class CanTraceWrappers<T, true> {
-  static_assert(sizeof(T), "T must be fully defined");
+  template <typename U>
+  static YesType TypeHasMarkAndDispatchTraceWrappers(
+      decltype(&U::markAndDispatchTraceWrappers) *);
+  template <typename U>
+  static NoType TypeHasMarkAndDispatchTraceWrappers(...);
 
  public:
-  static const bool value = true;
-};
-
-template <typename T>
-class CanTraceWrappers<T, false> {
-  static_assert(sizeof(T), "T must be fully defined");
-
- public:
-  static const bool value = false;
+  static bool const value =

[jbroman, 2017/03/07 17:46:09]

nit: If you do keep this, prefer "const bool" to "bool const".

+      (sizeof(TypeHasMarkAndDispatchTraceWrappers<T>(0)) == sizeof(YesType));
 };
 
 // TODO(sof): migrate to wtf/TypeTraits.h
 template <typename T>
 class IsFullyDefined {
   using TrueType = char;
   struct FalseType {
     char dummy[2];
   };
 
   template <typename U, size_t sz = sizeof(U)>
   static TrueType isSizeofKnown(U*);
   static FalseType isSizeofKnown(...);
   static T& t;
 
  public:
   static const bool value = sizeof(TrueType) == sizeof(isSizeofKnown(&t));
 };
 
 }  // namespace blink
 
 #endif