From 2155a07f402192437daa4adff05a2909f5b865b2 Mon Sep 17 00:00:00 2001
From: SamW <mail@sampersand.me>
Date: Thu, 30 Oct 2025 21:56:54 -0700
Subject: [PATCH] Deprecate top-level float

---
 core/builtin.rbs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/builtin.rbs b/core/builtin.rbs
index 79f8d337e..828893e9e 100644
--- a/core/builtin.rbs
+++ b/core/builtin.rbs
@@ -225,6 +225,7 @@ type int = Integer | _ToInt
 
 # Represents a `Float`, or a type convertible to it (via `.to_f`).
 #
+%a{deprecated: Use `_ToF` directly}
 type float = Float | _ToF
 
 # Represents a `Range[T]`, or a type that acts like it (via `.begin`, `.end`, and `.exclude_end?`).