---- kpp::not_same_as << Type System << Kpp c++ ----
kpp::not_same_as is a c++ concept of kpp c++ library. kpp::not_same_as is used for constraint that a type is not the same as another type.
kpp::not_same_as is the opposite concept of kpp::same_as.
kpp::not_same_as Sig:
template <typename type_t20, typename type_t21> concept not_same_as = ...;
#include <kpp/types.hpp>
#include <kpp/types.hpp> int main() { static_assert(kpp::not_same_as<const int, int>); }