The core language specification is clear that dependent names cannot designate templates subject to class template argument deduction, thus excluding the names of template template parameters.
However, https://wg21.link/range.utility.conv.to#4 relies on such a non-existing facility.
CWG3003 seeks to add a note to highlight the status quo of the core language specification.
LWG4381 asks for removal of that unimplementable feature.
If (L)EWG wishes to add a feature to the core language that makes https://wg21.link/range.utility.conv.to#4 valid (possibly limited to situations similar to the first example in CWG3003, excluding the second example), a paper would be needed.
The core language specification is clear that dependent names cannot designate templates subject to class template argument deduction, thus excluding the names of template template parameters.
However, https://wg21.link/range.utility.conv.to#4 relies on such a non-existing facility.
CWG3003 seeks to add a note to highlight the status quo of the core language specification.
LWG4381 asks for removal of that unimplementable feature.
If (L)EWG wishes to add a feature to the core language that makes https://wg21.link/range.utility.conv.to#4 valid (possibly limited to situations similar to the first example in CWG3003, excluding the second example), a paper would be needed.