Callback API Change: Reimplement Bind(); support IgnoreResult, full currying, and use less types

base/template_util_unittest.cc

 // Copyright (c) 2011 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.
 
 #include "base/template_util.h"
 #include "testing/gtest/include/gtest/gtest.h"
 
 namespace base {
 namespace {
 
@@ skipping 33 matching lines @@
   //  EXPECT_TRUE( (is_convertible < Child), (Parent > ::value));
   //
   // Silly C++.
   EXPECT_TRUE( (is_convertible<Child, Parent>::value) );
   EXPECT_FALSE( (is_convertible<Parent, Child>::value) );
   EXPECT_FALSE( (is_convertible<Parent, AStruct>::value) );
 
   EXPECT_TRUE( (is_convertible<int, double>::value) );
   EXPECT_TRUE( (is_convertible<int*, void*>::value) );
   EXPECT_FALSE( (is_convertible<void*, int*>::value) );
+
+  // Array types are an easy corner case.  Make sure to test that
+  // it does indeed compile.
+  EXPECT_FALSE( (is_convertible<int[10], double>::value) );
+  EXPECT_FALSE( (is_convertible<double, int[10]>::value) );
+  EXPECT_TRUE( (is_convertible<int[10], int*>::value) );
 }
 
 TEST(TemplateUtilTest, IsSame) {
   EXPECT_FALSE( (is_same<Child, Parent>::value) );
   EXPECT_FALSE( (is_same<Parent, Child>::value) );
   EXPECT_TRUE( (is_same<Parent, Parent>::value) );
 
   EXPECT_TRUE( (is_same<int*, int*>::value) );
   EXPECT_TRUE( (is_same<int, int>::value) );
   EXPECT_TRUE( (is_same<void, void>::value) );
   EXPECT_FALSE( (is_same<int, double>::value) );
 }
 
 TEST(TemplateUtilTest, IsClass) {
   EXPECT_TRUE(is_class<AStruct>::value);
   EXPECT_TRUE(is_class<AClass>::value);
 
   EXPECT_FALSE(is_class<AnEnum>::value);
   EXPECT_FALSE(is_class<int>::value);
   EXPECT_FALSE(is_class<char*>::value);
   EXPECT_FALSE(is_class<int&>::value);
   EXPECT_FALSE(is_class<char[3]>::value);
 }
 
 }  // namespace
 }  // namespace base