blob: e7607d98e7d0a4ed86a05ef4981877597874a87a [file] [log] [blame]
James Robinson646469d2014-10-03 15:33:28 -07001// Copyright (c) 2011 The Chromium Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#include "base/callback.h"
6
7namespace base {
8
9class Parent {
10};
11
12class Child : Parent {
13};
14
James Robinson74f9f1f2014-11-04 11:17:49 -080015#if defined(NCTEST_EQUALS_REQUIRES_SAMETYPE) // [r"fatal error: no viable conversion from 'Callback<int \(\)>' to 'const Callback<void \(\)>'"]
James Robinson646469d2014-10-03 15:33:28 -070016
17// Attempting to call comparison function on two callbacks of different type.
18//
19// This should be a compile time failure because each callback type should be
20// considered distinct.
21void WontCompile() {
22 Closure c1;
23 Callback<int(void)> c2;
24 c1.Equals(c2);
25}
26
James Robinson74f9f1f2014-11-04 11:17:49 -080027#elif defined(NCTEST_CONSTRUCTION_FROM_SUBTYPE) // [r"fatal error: no viable conversion from 'Callback<base::Parent \(\)>' to 'Callback<base::Child \(\)>'"]
James Robinson646469d2014-10-03 15:33:28 -070028
29// Construction of Callback<A> from Callback<B> if A is supertype of B.
30//
31// While this is technically safe, most people aren't used to it when coding
32// C++ so if this is happening, it is almost certainly an error.
33void WontCompile() {
34 Callback<Parent(void)> cb_a;
35 Callback<Child(void)> cb_b = cb_a;
36}
37
James Robinson74f9f1f2014-11-04 11:17:49 -080038#elif defined(NCTEST_ASSIGNMENT_FROM_SUBTYPE) // [r"fatal error: no viable overloaded '='"]
James Robinson646469d2014-10-03 15:33:28 -070039
40// Assignment of Callback<A> from Callback<B> if A is supertype of B.
41// See explanation for NCTEST_CONSTRUCTION_FROM_SUBTYPE
42void WontCompile() {
43 Callback<Parent(void)> cb_a;
44 Callback<Child(void)> cb_b;
45 cb_a = cb_b;
46}
47
48#endif
49
50} // namespace base