On Mon, 14 Nov 2022 at 13:48, Anoop Rana via Std-Proposals <std-proposals@lists.isocpp.org> wrote:

Attached is the proposal that aims to make the following program well-formed:

```

//----------------------vvvv--------------------->note U Is a nontype template parameter pack
template<typename... T, bool... U> void f()
{

}
int main()
{
    f<int, double, true, false>(); //ill-formed as per current wording
}

```

I don't see mention of P1985 in your proposal. ISTM that's in the same space and should be referenced.

The complete proposal with all the necessary details is attached as a pdf at the end of this email.

Regards,

Anoop Rana

--
Std-Proposals mailing list
Std-Proposals@lists.isocpp.org
https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals