On Tuesday, 12 July 2016 at 16:24:07 UTC, Ola Fosheim Grøstad wrote: > > template<class T > > struct has_equality<T, void_t<decltype( > std::declval<T&>() == std::declval<T&>() > )>> : std::true_type { }; It looks horrible. And in D it is much prettier.