diff options
author | Paolo Carlini <paolo.carlini@oracle.com> | 2016-01-21 10:55:30 +0000 |
---|---|---|
committer | Paolo Carlini <paolo.carlini@oracle.com> | 2016-01-21 10:55:30 +0000 |
commit | 7684a00fdcddf51cb05873be743d995243d44b8e (patch) | |
tree | 7758cb92e66e70470faf06c8acfe2949a397af90 | |
parent | fc23b9f184794351b7b56e5659e29948a5a10eff (diff) |
2016-01-21 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/58046
* g++.dg/cpp0x/pr58046.C: New.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@232671 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/pr58046.C | 39 |
2 files changed, 44 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3ef65ab9546..25b72d7e0e6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-01-21 Paolo Carlini <paolo.carlini@oracle.com> + + PR c++/58046 + * g++.dg/cpp0x/pr58046.C: New. + 2016-01-21 Jakub Jelinek <jakub@redhat.com> PR target/69187 diff --git a/gcc/testsuite/g++.dg/cpp0x/pr58046.C b/gcc/testsuite/g++.dg/cpp0x/pr58046.C new file mode 100644 index 00000000000..b2c0541e951 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/pr58046.C @@ -0,0 +1,39 @@ +// { dg-do compile { target c++11 } } + +template<bool, class T = void> +struct enable_if {}; + +template<class T> +struct enable_if<true, T> +{ + using type = T; +}; + +template<class T> +struct is_true +{ + static constexpr bool value = true; +}; + +extern void* enabler; + +template <typename T, typename enable_if<is_true<T>::value>::type*& = enabler> +class A +{ +public: + A() + {} + template <typename U> + A& operator=( A<U>&& ) + { + return *this; + } +}; + +int main() +{ + A<int> a_i; + A<double> a_d; + + a_i = a_d; // { dg-error "cannot bind" } +} |