Deprecate top-level float

sampersand · sampersand · commit 2155a07f4021 · 2025-10-30T21:56:54.000-07:00
diff --git 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?`).

Original file line number	Diff line number	Diff line change
`@@ -225,6 +225,7 @@ type int = Integer \| _ToInt`
`225`	`225`
`226`	`226`	# Represents a `Float`, or a type convertible to it (via `.to_f`).
`227`	`227`	`#`
	`228`	+%a{deprecated: Use `_ToF` directly}
`228`	`229`	`type float = Float \| _ToF`
`229`	`230`
`230`	`231`	# Represents a `Range[T]`, or a type that acts like it (via `.begin`, `.end`, and `.exclude_end?`).