annotate gcc/testsuite/g++.dg/cpp0x/sfinae36.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // PR c++/52363
kono
parents:
diff changeset
2 // { dg-do compile { target c++11 } }
kono
parents:
diff changeset
3 // { dg-options "-pedantic" }
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #include <type_traits>
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 struct proxy
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 void operator=(int const&);
kono
parents:
diff changeset
10 void operator=(int&&) const;
kono
parents:
diff changeset
11 };
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 static_assert( !std::is_assignable<proxy, int>::value, "" );
kono
parents:
diff changeset
14 static_assert( std::is_assignable<const proxy, int>::value, "" );