I noticed a typo in my last version where I typed {int} instead of {true} for Proposed-U for the call `f<int, int, true>();`. This has been corrected in this version. Since this is a trivial change I've named the document the same as previous(DnnnnR0.pdf).

On Wed, 16 Nov 2022 at 04:12, Edward Catmur <ecatmur@googlemail.com> wrote:

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.

Anoop Rana
Std-Proposals mailing list