Не-тип template-argument является зависимым, если его тип является зависимым или константное выражение, которое он задает, зависит от значения.
Кроме того, не-тип template-argument является зависимым, если соответствующий не-тип template-parameter относится к типу ссылки или указателя, а template-argument обозначает или указывает на член текущего экземпляра или член зависимого типа.
Шаблон template-argument является зависимым, если он называет template-parameter или qualified-id относится к члену неизвестной специализации.