[Bug c++/66169] [c++-concepts] constraints on constructor are jammed with inherited copy/move constructors

2015-05-15 Thread yingpo.liao at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66169 --- Comment #1 from Ying-Po Liao --- The following example shows a Concept applied to the constructor of class A. The compiler (r223061) will generate internal compiler error if A's subclass C implements default behaviors of copy/move constructor

[Bug c++/66169] New: [c++-concepts] constraints on constructor are jammed with inherited copy/move constructors

2015-05-15 Thread yingpo.liao at gmail dot com
Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: yingpo.liao at gmail dot com Target Milestone: ---

[Bug c++/66092] [c++-concepts] Concept can't check variadic template arguments

2015-05-13 Thread yingpo.liao at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66092 --- Comment #1 from Ying-Po Liao --- Here's another implementation, which results in the same consequence. template struct Checker { constexpr static decltype(auto) check( std::true_type ) { return std::integral_constant(); } c

[Bug c++/66092] New: Concept can't check variadic template arguments

2015-05-09 Thread yingpo.liao at gmail dot com
onent: c++ Assignee: unassigned at gcc dot gnu.org Reporter: yingpo.liao at gmail dot com Target Milestone: --- Concept can't check variadic template arguments (r222891). The example code shows an implementation of a concept to check if all types are the same via variadi