Здравствуйте, σ, Вы писали:

σ>Только вот это справедливо если ищется operator X, где X это конкретный тип.
σ>Т.к. в `return operator type_t()`, даже с зависимым type_t, `operator type_t` это не dependent name, то должен [был] искаться, как я понимаю, литералли `operator type_t` (для какого-нибудь `struct type_t`) в template definition context. (https://cplusplus.github.io/CWG/issues/1500.html, https://godbolt.org/z/vjj3fGhzG)

А разве согласно (1.3) 'operator type_t' не является зависимым именем?

Здравствуйте, σ, Вы писали:

σ>Только вот это справедливо если ищется operator X, где X это конкретный тип.
σ>Т.к. в `return operator type_t()`, даже с зависимым type_t, `operator type_t` это не dependent name, то должен [был] искаться, как я понимаю, литералли `operator type_t` (для какого-нибудь `struct type_t`) в template definition context. (https://cplusplus.github.io/CWG/issues/1500.html, https://godbolt.org/z/vjj3fGhzG)

А разве согласно (1.3) 'operator type_t' не является зависимым именем?

P.S. Как, вообще, такое может быть — 'type_t' я вляется зависимым, а 'operator type_t' — нет?