https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71141 --- Comment #1 from Tom Honermann <tom at honermann dot net> --- If it is decided that this code is well-formed, then I think the declaration of f7() in t3.cpp should be added to the example in the Concepts TS.