Проект ISO C ++ - 3.4.2 / 3 - Поиск имени, зависимого от аргумента

Точка из проекта ISO C ++ (n3290):

3.4.2 / 3 Поиск имени, зависимого от аргумента:

Пусть X - набор поиска, созданный неквалифицированным поиском (3.4.1) и пусть Y будет набором поиска, созданным поиском, зависимым от аргументов (определяется следующим образом). Если X содержит

• объявление члена класса (# 1) или
• функцию области видимости блока объявление, которое не является объявлением-использованием (# 2) или
• объявлением который не является ни функцией, ни шаблоном функции (# 3)

, тогда Y пуст. В противном случае Y - это набор объявлений, найденных в пространства имен, связанные с типами аргументов, как описано ниже. Набор объявлений, найденный при поиске имени, представляет собой объединение из X и Y .

Есть ли пример фрагмента кода, демонстрирующий ADL, включающий №1, №2 и №3?