Почему ADL не находит шаблоны функций?

Какая часть спецификации C ++ ограничивает поиск, зависящий от аргументов, от поиска шаблонов функций в наборе связанных пространств имен? Другими словами, почему последний вызов mainниже не компилируется? namespace ns { struct foo {}; template<int i> void frob(foo const&) {} void...