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