core: Add _Top interface to support inverting boolish

To support inverting boolish values, adds a new interface `_Top` that provides `!` operator. refs: soutaro/steep#939
tk0miya · Oct 24, 2023 · ab9980d · ab9980d
1 parent 2cac4e7
commit ab9980d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/core/builtin.rbs b/core/builtin.rbs
@@ -275,3 +275,9 @@ type interned = Symbol | string
 # Any Ruby object can have `boolish` type.
 #
 type boolish = top
+
+# `_Top` is an internal type for the `top` type.
+# It provides `!` operator to support inverting `top` and `boolish` objects.
+interface _Top
+ def !: () -> bool
+end