Самый простой фрагмент, который мне удалось воспроизвести, заключается в следующем:
#include <variant>
template <auto V>
using ic = std::integral_constant<decltype(V), V>;
enum { shake };
int milk(ic<shake>);
template <class...>
struct context {
template <auto V>
decltype(milk(ic<V>{})) get() {
return std::get<decltype(milk(ic<V>{}))>(value);
}
std::variant<int> value;
};
int main(){
context<int> c;
c.get<shake>();
}
В [clang] есть что-то рыбное, поскольку это говорит о том, что:
prog.cc:13:42: error: a non-type template parameter cannot have type 'auto'
return std::get<decltype(milk(ic<V>{}))>(value);
^
prog.cc:3:16: note: template parameter is declared here
template <auto V>
^
1 error generated.
Когда мы меняем ic
на aliased-тип или используем неопубликованную версию context
все работает так, как ожидалось. Так это действительно ошибка clang или я пропускаю что-то очевидное здесь?
PS. В [gcc] все работает так, как ожидалось...