From 911623599c20a60d69903cd7ae4eefa5a01abbd1 Mon Sep 17 00:00:00 2001
From: Victor Pellan <victor.pellan@datadoghq.com>
Date: Fri, 12 Dec 2025 19:47:30 +0100
Subject: [PATCH 1/2] [Kernel] Narrow caller_locations

---
 core/kernel.rbs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/core/kernel.rbs b/core/kernel.rbs
index 777ea2947..bad5a1a02 100644
--- a/core/kernel.rbs
+++ b/core/kernel.rbs
@@ -204,8 +204,9 @@ module Kernel : BasicObject
   # Optionally you can pass a range, which will return an array containing the
   # entries within the specified range.
   #
-  def self?.caller_locations: (?Integer start_or_range, ?Integer length) -> ::Array[Thread::Backtrace::Location]?
-                            | (?::Range[Integer] start_or_range) -> ::Array[Thread::Backtrace::Location]?
+  def self?.caller_locations: (Integer start_or_range, ?Integer length) -> ::Array[Thread::Backtrace::Location]?
+                            | (::Range[Integer] start_or_range) -> ::Array[Thread::Backtrace::Location]?
+                            | () -> ::Array[Thread::Backtrace::Location]
 
   # <!--
   #   rdoc-file=vm_eval.c

From 819bdf017c32665140eabfbd3124b2f07bc3adcb Mon Sep 17 00:00:00 2001
From: Victor Pellan <victor.pellan@datadoghq.com>
Date: Mon, 15 Dec 2025 11:44:51 +0100
Subject: [PATCH 2/2] Add tests for caller_locations

---
 test/stdlib/Kernel_test.rb | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/test/stdlib/Kernel_test.rb b/test/stdlib/Kernel_test.rb
index 1af2bf0dd..c40349f1f 100644
--- a/test/stdlib/Kernel_test.rb
+++ b/test/stdlib/Kernel_test.rb
@@ -7,6 +7,20 @@ class KernelSingletonTest < Test::Unit::TestCase
 
   testing "singleton(::Kernel)"
 
+  def test_caller_locations
+    assert_send_type "() -> Array[Thread::Backtrace::Location]",
+                     Kernel, :caller_locations
+
+    assert_send_type "(Integer) -> Array[Thread::Backtrace::Location]?",
+                      Kernel, :caller_locations, 1
+
+    assert_send_type "(Integer, Integer) -> Array[Thread::Backtrace::Location]?",
+                      Kernel, :caller_locations, 1, 2
+
+    assert_send_type "(::Range[Integer]) -> Array[Thread::Backtrace::Location]?",
+                     Kernel, :caller_locations, (1..3)
+  end
+
   def test_Array
     assert_send_type "(nil) -> []",
                      Kernel, :Array, nil