On 4/10/25 12:34 PM, Jason Merrill wrote:
On 4/8/25 10:29 AM, Patrick Palka wrote:
The template arguments aren't dependent however -- they're just
incomplete because when we deferred them we were in the middle
deduction, and we consider a NULL_TREE template argument as dependent.

I wonder what would break if that changed?

Interestingly, the answer seems to be nothing: returning false instead of true for null in dependent_template_arg_p fixes the testcases in this patch and causes no regressions.

So for 16, let's try doing that and bring back the assert?

Jason

Reply via email to