774RRさんから頂いた回答及びそのコメントを踏まえての追記
回答ありがとうございます。 皆さんの書き込みを元に、ISO+IEC+14882-1998の3.4.2を読んでみましたが、自分の引用にあるテンプレート実体化時云々という記述はないように思えました。
そこで、齊藤敦志さんの指摘部分についても気になったので、他の部分も少し読んでみたところ、次のような記述がありました。(一部強調と改行を挿入しています)
14.6.4.2 Candidate functions [temp.dep.candidate] 1 For a function call that depends on a template parameter, if the function name is an unqualified-id but not a template-id, the candidate functions are found using the usual lookup rules (3.4.1, 3.4.2) except that:
(非ADL部分なので略)
— For the part of the lookup using associated namespaces (3.4.2), only function declarations with external linkage found in either the template definition context or the template instantiation context are found.
If the call would be ill-formed or would find a better match had the lookup within the associated namespaces considered all the function declarations with external linkage introduced in those namespaces in all translation units, not just considering those declarations found in the template definition and template instantiation contexts, then the program has undefined behavior.
名前探索自体はテンプレート実体化(JISでは具現化)の文脈で行うが、それで発見されない宣言も考慮して未定義動作が規定されている?ように読めました。
直前でonly function ~ template instantiation context
としておきながら、the lookup within the associated namespaces
が集合内の全ての宣言を考慮する可能性に言及している。。。
これを明示的に未定義としている理由は、ADLがそこまで探索するかどうかが処理系定義だったりとか、何かあるのかなぁとぼんやり考えてます。
冷静に考えてみると、その翻訳単位でのテンプレートの実体化時点までしか考慮しないなら、他の翻訳単位に存在する名前とマッチしなくなってしまうのでそれもおかしな話な気がしてきました。