https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78715
Casey Carter <Casey at Carter dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |Casey at Carter dot net
--- Comment #1 from Casey Carter <Casey at Carter dot net> ---
Another simple program that reproduces this bug with 6.3 and trunk:
template <class, class>
concept bool C1 = true;
template <class>
concept bool C2 = requires { { 42 } -> C1<int>; };
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.
