On Fri, Apr 19, 2024, 9:53 PM Aurelien Cassagnes via SG7 <
sg7_at_[hidden]> wrote:

> Fleshed out the proposal draft and it's available for feedback at
> https://github.com/zebullax/wg21/blob/main/generated/proposal.pdf
>

How do you expect this to work exactly?

The type of foo is bool(int), it's not [[nodiscard]] bool(int). Regardless
of the question of reflecting on attributes... logInvoke(foo, 0) is going
to call logInvoke<bool(int), int>. There aren't any attributes left to
reflect on anymore.

Barry

>