replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[test] two small cleanups: 

* Remove unused type from is_assignable.pass.cpp

* Don't specialize `common_type<::X<float>>` in common_type.pass.cpp, which violates the requirements of [meta.trans.other]/5

llvm-svn: 336618
This commit is contained in:
Casey Carter 2018-07-09 23:45:09 +00:00
parent 69faf464ed
commit 6cd35e8194
2 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libcxx/test/std/utilities/meta/meta.trans/meta.trans.other/common_type.pass.cpp
View File

@ -11,8 +11,9 @@
// common_type
#include <type_traits>
#include <functional>
#include <memory>
#include <type_traits>
#include "test_macros.h"
@ -45,7 +46,6 @@ namespace std
template <> struct common_type< ::S<long>, long> {};
template <> struct common_type<long, ::S<long> > {};
template <> struct common_type< ::X<float> > {};
template <> struct common_type< ::X<double>, ::X<double> > {};
}
@ -97,7 +97,6 @@ void test_bullet_two() {
static_assert(std::is_same<CommonType<int volatile[]>, int volatile*>::value, "");
static_assert(std::is_same<CommonType<void(&)()>, void(*)()>::value, "");
static_assert(no_common_type<X<float> >::value, "");
static_assert(no_common_type<X<double> >::value, "");
}

2
libcxx/test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp
View File

@ -59,8 +59,6 @@ struct E
template <typename T>
struct X { T t; };
struct Incomplete;
int main()
{
test_is_assignable<int&, int&> ();