#include #define REQUIRE_SAME(T0, T1) REQUIRE(std::is_same{})