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}

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


Regards,
Anoop Rana