ADL 和非类型模板参数

ADL 不考虑用于非类型模板参数。这是什么原因呢？我最初的想法是引入 ADL 来解决运算符和命名空间之间的冲突，并且运算符重载不使用非类型模板参数。我不确定这是否正确。 那么，为什么不允许以下行为呢？

namespace N
{
const int c = 1;
void func(...) {}
}
template <int r>
void tfunc () {}
int main ()
{
func(tfunc<N::c>);  // Error!
}

我正在寻找的是一个示例，可以说明为什么这是一个坏主意。