[Bug c++/78715] [concepts] Access specifiers ignored after concept declaration

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715

Jonathan Wakely  changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution|--- |DUPLICATE

--- Comment #4 from Jonathan Wakely  ---
Does look like a dup of Bug 67225, thanks.

*** This bug has been marked as a duplicate of bug 67225 ***

[Bug c++/78715] [concepts] Access specifiers ignored after concept declaration

[vopl at bk dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715

--- Comment #3 from vopl at bk dot ru ---
probably the same

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67225
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78955
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80962

[Bug c++/78715] [concepts] Access specifiers ignored after concept declaration

[vopl at bk dot ru]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715

vopl at bk dot ru changed:

   What|Removed |Added

 CC||vopl at bk dot ru

--- Comment #2 from vopl at bk dot ru ---
affected versions at now:
6.1, 6.2, 6.3, 6.4, 7.1, 7.2, 7.3, 8.0.1-20180408

one more reproduce:

template
concept bool SomeConcept = true;

template 
void breaker(SomeConcept);

class SomeClass {
int privateMember;
};

int main() {
return SomeClass().privateMember;
}

[Bug c++/78715] [concepts] Access specifiers ignored after concept declaration

[Casey at Carter dot net]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715

Casey Carter  changed:

   What|Removed |Added

 CC||Casey at Carter dot net

--- Comment #1 from Casey Carter  ---
Another simple program that reproduces this bug with 6.3 and trunk:

template 
concept bool C1 = true;

template 
concept bool C2 = requires { { 42 } -> C1; };

int main() {
class A { int x; } a;
a.x = 42;
}

Use of a partial-concept-id as a constrained-type-specifier seems to be the
trigger.