Добрый день. Возвращаясь к вчерашней задаче (о фильтрации по разрешённым

Question

Добрый день. Возвращаясь к вчерашней задаче (о фильтрации по разрешённым

типам аргументов) — почему этот код компилируется?

using filter = tuple<int, double>;

template <class T, class = decltype(get<T>(declval<filter>()))>
struct s {};

s<int> s1;
s<char> s2; // компилирутеся

Предполагаю, что играет роль unevaluated context decltype, и get<T> не инстанцируется (что должно привести к ошибке компиляции).