From 4a336b9c2c9e8aafb346d72bd7ebf4b5fe380ac2 Mon Sep 17 00:00:00 2001
From: ksss <co000ri@gmail.com>
Date: Fri, 18 Sep 2026 21:29:04 +0900
Subject: [PATCH] Add annotation to backtraces for practicality.

---
 core/exception.rbs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/exception.rbs b/core/exception.rbs
index 5cab02bf5e..0b705e7d6e 100644
--- a/core/exception.rbs
+++ b/core/exception.rbs
@@ -127,7 +127,7 @@ class Exception
   #
   # see [Backtraces](rdoc-ref:exceptions.md@Backtraces).
   #
-  def backtrace: () -> Array[String]?
+  def backtrace: %a{implicitly-returns-nil} () -> Array[String]
 
   # <!--
   #   rdoc-file=error.c
@@ -167,7 +167,7 @@ class Exception
   #
   # See [Backtraces](rdoc-ref:exceptions.md@Backtraces).
   #
-  def backtrace_locations: () -> Array[Thread::Backtrace::Location]?
+  def backtrace_locations: %a{implicitly-returns-nil} () -> Array[Thread::Backtrace::Location]
 
   # <!--
   #   rdoc-file=error.c