[Bug c++/72415] [7 regression][concepts] ICE in satisfy_predicate_constraint

[lucdanton at free dot fr]

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

--- Comment #2 from lucdanton at free dot fr ---
I completely failed to make note that this used to compile on GCC 6.1, too
(modulo the missing definition, again).