Warum findet ADL keine Funktionsvorlagen?

Welcher Teil der C ++ - Spezifikation verhindert, dass die argumentabhängige Suche nach Funktionsvorlagen in den zugehörigen Namespaces sucht? Mit anderen Worten, warum kann der letzte Aufruf mainunten nicht kompiliert werden? namespace ns { struct foo {}; template<int i> void frob(foo...