Barry I understand that right now there is no reasons for it to work, the
purpose of this thread is to flesh out what the proposal look like.
Gather interest and feedback not share an hypothetical implementation
because it doesnt exist yet.

Besides seeing interest, the feedback i’m interested is what sections need
to be discussed in more detail in the draft for it to become more meaningful
thanks.

Sent from Gmail Mobile


On Sun, Apr 21, 2024 at 1:47 Barry Revzin <barry.revzin_at_[hidden]> wrote:

>
>
> 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
>
>>