I don't know if I would call this a "destabalizing" language change though. It should be backwards compatible with the existing semantics. It adds an extra step to type deduction, but this would be the very last step of type deduction so it would not override any existing semantics.
Consider void functionOrTemplate() {...} and functionOrTemplate(uint N = 1)() {...}