Merge pull request #2695 from sampersand/sampersand/2025-10-30/deprecate-toplevel-float

soutaro · web-flow · commit c30f46bfe4df · 2026-04-08T16:05:02.000+09:00
Deprecate top-level float
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?`).