https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123783
--- Comment #13 from Ville Voutilainen <ville.voutilainen at gmail dot com> ---
(In reply to Ville Voutilainen from comment #12)
> > What the testcase is doing isn't any different from say
> > #include <meta>
> >
> > void
> > foo (int x)
> > {
> > }
> >
> > void
> > bar ()
> > {
> > auto a = &[: parameters_of (^^foo)[0] :];
> > }
> > - trying to splice in a parameter in a completely unrelated function.
>
> What wording even makes that ill-formed?
Oh, but that should just always be ill-formed, it's trying to take an address
of a splice of a reflection reflecting a parameter as-if seen from the outside.
There's no variable there. That's why we have variable_of separately. Taking
such an address should just be ill-formed.