W przypadku następującego kodu wszystkie twierdzenia oprócz ostatniego są przekazywane: template<typename T> constexpr void assert_static_cast_identity() { using T_cast = decltype(static_cast<T>(std::declval<T>())); static_assert(std::is_same_v<T_cast, T>); } int main()...