summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--libcxx/include/type_traits1
-rw-r--r--libcxx/test/utilities/meta/meta.rel/is_explicitly_convertible.pass.cpp1
2 files changed, 0 insertions, 2 deletions
diff --git a/libcxx/include/type_traits b/libcxx/include/type_traits
index 653809cb93e..f501d127774 100644
--- a/libcxx/include/type_traits
+++ b/libcxx/include/type_traits
@@ -115,7 +115,6 @@ namespace std
template <class T, class U> struct is_same;
template <class Base, class Derived> struct is_base_of;
template <class From, class To> struct is_convertible;
- template <class From, class To> struct is_explicitly_convertible;
template <class T> struct underlying_type;
// Alignment properties and transformations:
diff --git a/libcxx/test/utilities/meta/meta.rel/is_explicitly_convertible.pass.cpp b/libcxx/test/utilities/meta/meta.rel/is_explicitly_convertible.pass.cpp
deleted file mode 100644
index b9d598dfbac..00000000000
--- a/libcxx/test/utilities/meta/meta.rel/is_explicitly_convertible.pass.cpp
+++ /dev/null
@@ -1 +0,0 @@
-//===----------------------------------------------------------------------===// // // The LLVM Compiler Infrastructure // // This file is distributed under the University of Illinois Open Source // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// // type_traits // is_explicitly_convertible #include <type_traits> typedef void Function(); typedef char Array[1]; int main() { { static_assert(( std::is_explicitly_convertible<void, void>::value), ""); static_assert(( std::is_explicitly_convertible<const void, void>::value), ""); static_assert(( std::is_explicitly_convertible<void, const void>::value), ""); static_assert(( std::is_explicitly_convertible<const void, const void>::value), ""); static_assert((!std::is_explicitly_convertible<void, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Function>::value), ""); static_assert((!std::is_explicitly_convertible<void, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<void, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<void, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<void, Array>::value), ""); static_assert((!std::is_explicitly_convertible<void, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const void, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<void, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<void, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const void, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const void, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<void, char>::value), ""); static_assert((!std::is_explicitly_convertible<void, const char>::value), ""); static_assert((!std::is_explicitly_convertible<const void, char>::value), ""); static_assert((!std::is_explicitly_convertible<const void, const char>::value), ""); static_assert((!std::is_explicitly_convertible<void, char&>::value), ""); static_assert((!std::is_explicitly_convertible<void, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const void, char&>::value), ""); static_assert((!std::is_explicitly_convertible<const void, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<void, char*>::value), ""); static_assert((!std::is_explicitly_convertible<void, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const void, char*>::value), ""); static_assert((!std::is_explicitly_convertible<const void, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<Function, void>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Function, Function>::value), ""); static_assert((!std::is_explicitly_convertible<Function, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<Function, Function&>::value), ""); static_assert(( std::is_explicitly_convertible<Function, Function*>::value), ""); static_assert(( std::is_explicitly_convertible<Function, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<Function, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function, char>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Function, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function, char*>::value), ""); static_assert((!std::is_explicitly_convertible<Function, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<Function&, void>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, Function>::value), ""); static_assert(( std::is_explicitly_convertible<Function&, Function&>::value), ""); static_assert(( std::is_explicitly_convertible<Function&, const Function&>::value), ""); static_assert(( std::is_explicitly_convertible<Function&, Function*>::value), ""); static_assert(( std::is_explicitly_convertible<Function&, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, char>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, char*>::value), ""); static_assert((!std::is_explicitly_convertible<Function&, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<Function*, void>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, void>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, Function>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, Function>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, Function&>::value), ""); static_assert(( std::is_explicitly_convertible<Function*, Function*>::value), ""); static_assert(( std::is_explicitly_convertible<Function*, Function* const>::value), ""); static_assert(( std::is_explicitly_convertible<Function*const, Function*>::value), ""); static_assert(( std::is_explicitly_convertible<Function*const, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<Function*, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, char>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, char>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, char*>::value), ""); static_assert((!std::is_explicitly_convertible<Function*, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, char*>::value), ""); static_assert((!std::is_explicitly_convertible<Function*const, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<Array, void>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, void>::value), ""); static_assert((!std::is_explicitly_convertible<Array, const void>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Array, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Function>::value), ""); static_assert((!std::is_explicitly_convertible<Array, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<Array, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<Array, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<Array, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Array, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<Array, Array&>::value), ""); static_assert(( std::is_explicitly_convertible<Array, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Array, char>::value), ""); static_assert((!std::is_explicitly_convertible<Array, const char>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, char>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Array, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Array, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, char&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, const char&>::value), ""); static_assert(( std::is_explicitly_convertible<Array, char*>::value), ""); static_assert(( std::is_explicitly_convertible<Array, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const Array, char*>::value), ""); static_assert(( std::is_explicitly_convertible<const Array, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<Array&, void>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, void>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, const void>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, const void>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Function>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<Array&, Array>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, const Array>::value), ""); static_assert(( std::is_explicitly_convertible<Array&, Array&>::value), ""); static_assert(( std::is_explicitly_convertible<Array&, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, Array&>::value), ""); static_assert(( std::is_explicitly_convertible<const Array&, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, char>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, const char>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, char>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, const char>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, char&>::value), ""); static_assert((!std::is_explicitly_convertible<Array&, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, char&>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, const char&>::value), ""); static_assert(( std::is_explicitly_convertible<Array&, char*>::value), ""); static_assert(( std::is_explicitly_convertible<Array&, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const Array&, char*>::value), ""); static_assert(( std::is_explicitly_convertible<const Array&, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<char, void>::value), ""); static_assert((!std::is_explicitly_convertible<const char, void>::value), ""); static_assert((!std::is_explicitly_convertible<char, const void>::value), ""); static_assert((!std::is_explicitly_convertible<const char, const void>::value), ""); static_assert((!std::is_explicitly_convertible<char, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Function>::value), ""); static_assert((!std::is_explicitly_convertible<char, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<char, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<char, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<char, Array>::value), ""); static_assert((!std::is_explicitly_convertible<char, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<char, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<char, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char, const Array&>::value), ""); static_assert(( std::is_explicitly_convertible<char, char>::value), ""); static_assert(( std::is_explicitly_convertible<char, const char>::value), ""); static_assert(( std::is_explicitly_convertible<const char, char>::value), ""); static_assert(( std::is_explicitly_convertible<const char, const char>::value), ""); static_assert((!std::is_explicitly_convertible<char, char&>::value), ""); static_assert(( std::is_explicitly_convertible<char, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const char, char&>::value), ""); static_assert(( std::is_explicitly_convertible<const char, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<char, char*>::value), ""); static_assert((!std::is_explicitly_convertible<char, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const char, char*>::value), ""); static_assert((!std::is_explicitly_convertible<const char, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<char&, void>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, void>::value), ""); static_assert((!std::is_explicitly_convertible<char&, const void>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, const void>::value), ""); static_assert((!std::is_explicitly_convertible<char&, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Function>::value), ""); static_assert((!std::is_explicitly_convertible<char&, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<char&, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<char&, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<char&, Array>::value), ""); static_assert((!std::is_explicitly_convertible<char&, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<char&, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<char&, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, const Array&>::value), ""); static_assert(( std::is_explicitly_convertible<char&, char>::value), ""); static_assert(( std::is_explicitly_convertible<char&, const char>::value), ""); static_assert(( std::is_explicitly_convertible<const char&, char>::value), ""); static_assert(( std::is_explicitly_convertible<const char&, const char>::value), ""); static_assert(( std::is_explicitly_convertible<char&, char&>::value), ""); static_assert(( std::is_explicitly_convertible<char&, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, char&>::value), ""); static_assert(( std::is_explicitly_convertible<const char&, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<char&, char*>::value), ""); static_assert((!std::is_explicitly_convertible<char&, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, char*>::value), ""); static_assert((!std::is_explicitly_convertible<const char&, const char*>::value), ""); } { static_assert((!std::is_explicitly_convertible<char*, void>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, void>::value), ""); static_assert((!std::is_explicitly_convertible<char*, const void>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, const void>::value), ""); static_assert((!std::is_explicitly_convertible<char*, Function>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Function>::value), ""); static_assert((!std::is_explicitly_convertible<char*, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Function&>::value), ""); static_assert((!std::is_explicitly_convertible<char*, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<char*, Function* const>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Function*>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Function*const >::value), ""); static_assert((!std::is_explicitly_convertible<char*, Array>::value), ""); static_assert((!std::is_explicitly_convertible<char*, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Array>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, const Array>::value), ""); static_assert((!std::is_explicitly_convertible<char*, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<char*, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, Array&>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, const Array&>::value), ""); static_assert((!std::is_explicitly_convertible<char*, char>::value), ""); static_assert((!std::is_explicitly_convertible<char*, const char>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, char>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, const char>::value), ""); static_assert((!std::is_explicitly_convertible<char*, char&>::value), ""); static_assert((!std::is_explicitly_convertible<char*, const char&>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, char&>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, const char&>::value), ""); static_assert(( std::is_explicitly_convertible<char*, char*>::value), ""); static_assert(( std::is_explicitly_convertible<char*, const char*>::value), ""); static_assert((!std::is_explicitly_convertible<const char*, char*>::value), ""); static_assert(( std::is_explicitly_convertible<const char*, const char*>::value), ""); } } \ No newline at end of file
OpenPOWER on IntegriCloud