This is a revised version of the same proposal taking into account some of the suggestions. More changes will be done in future versions of the document. In addition to formatting changes, some other changes(like making program 1) well-formed is also proposed in this revised version. This is named "DnnnnR0.pdf". T

Regards,
Anoop Rana

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.


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