fix: expr_consolidate fixed for two the same powers

This commit is contained in:
Mateusz Pusz
2022-09-08 21:08:06 +02:00
parent 8d711cdf8e
commit 5e36dd6167

View File

@@ -135,6 +135,7 @@ struct expr_consolidate_impl<type_list<T, Rest...>> {
};
template<typename T, typename... Rest>
requires(!is_specialization_of_power<T>)
struct expr_consolidate_impl<type_list<T, T, Rest...>> {
using type = expr_consolidate_impl<type_list<power<T, 2>, Rest...>>::type;
};