On Wed, 11 Feb 2026 at 01:44, Ville Voutilainen
<ville.voutilainen_at_[hidden]> wrote:
>
> On Wed, 11 Feb 2026 at 01:35, Alejandro Colomar via Std-Proposals
> <std-proposals_at_[hidden]> wrote:
> > I don't think it would be so complex. GCC's __attribute__((const)) is
> > part of the type (at least in C, I'd guess also in C++?).
>
> I don't think so, for C++: https://godbolt.org/z/P6YoK7W7Y

And I might add, adding a new function type (and new
pointer-to-function and reference-to-function types,
and conversion rules between them and other types)
into C++ *would* be complicated.