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_at_[hidden]> wrote:

>
>
> On Mon, 14 Nov 2022 at 13:48, Anoop Rana via Std-Proposals <
> std-proposals_at_[hidden]> wrote:
>
>> Attached is the proposal that aims to make the following program
>> well-formed:
>>
>> ```
>>
>> //----------------------vvvv--------------------->note U Is a nontype template parameter packtemplate<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_at_[hidden]
>> https://lists.isocpp.org/mailman/listinfo.cgi/std-proposals
>>
>