diff --git a/prover_rclcpp/CMakeLists.txt b/prover_rclcpp/CMakeLists.txt
index a2a72da..3df083a 100644
--- a/prover_rclcpp/CMakeLists.txt
+++ b/prover_rclcpp/CMakeLists.txt
@@ -157,6 +157,7 @@ custom_executable(rclcpp_2379)
 custom_executable(rclcpp_2417_pub)
 custom_executable(rclcpp_2417_sub)
 custom_executable(rclcpp_2497)
+custom_executable(rclcpp_2507)
 
 custom_executable(rosbag2_1586)
 
diff --git a/prover_rclcpp/src/rclcpp_2507.cpp b/prover_rclcpp/src/rclcpp_2507.cpp
new file mode 100644
index 0000000..d443d4d
--- /dev/null
+++ b/prover_rclcpp/src/rclcpp_2507.cpp
@@ -0,0 +1,10 @@
+#include "rclcpp/rclcpp.hpp"
+
+int main(void)
+{
+  RCLCPP_INFO_STREAM(rclcpp::get_logger(""), "Negative rclcpp::Time with int64_t ns");
+  const auto negative_ns = rclcpp::Time(-1);
+  RCLCPP_INFO_STREAM(rclcpp::get_logger(""), "Negative rclcpp::Time with int32_t s, uint32_t ns");
+  const auto negative_s_ns = rclcpp::Time(-1, 0);
+  return 0;
+}
\ No newline at end of file