From 9913f34526a16529d25643d73c7abb76d776df0a Mon Sep 17 00:00:00 2001
From: SamW <mail@sampersand.me>
Date: Tue, 24 Mar 2026 13:24:03 -0700
Subject: [PATCH 1/3] [Class] update class.rbs

---
 core/class.rbs            | 10 +++---
 test/stdlib/Class_test.rb | 69 +++++++++++++++++++++++++++++++--------
 2 files changed, 61 insertions(+), 18 deletions(-)

diff --git a/core/class.rbs b/core/class.rbs
index abfdc21647..ebbdaf3898 100644
--- a/core/class.rbs
+++ b/core/class.rbs
@@ -82,7 +82,7 @@ class Class < Module
   # Assign the class to a constant (name starting uppercase) if you want to treat
   # it like a regular class.
   #
-  def initialize: (?Class superclass) ?{ (Class newclass) -> void } -> void
+  def initialize: (?Class superclass) ?{ (Class newclass) [self: Class] -> void } -> void
 
   # <!--
   #   rdoc-file=object.c
@@ -106,6 +106,8 @@ class Class < Module
   #
   def allocate: () -> untyped
 
+  def self.allocate: () -> untyped
+
   # <!--
   #   rdoc-file=object.c
   #   - attached_object -> object
@@ -122,7 +124,7 @@ class Class < Module
   #     TrueClass.attached_object                  #=> TypeError: `TrueClass' is not a singleton class
   #     NilClass.attached_object                   #=> TypeError: `NilClass' is not a singleton class
   #
-  def attached_object: () -> untyped
+  def attached_object: () -> instance
 
   # <!--
   #   rdoc-file=object.c
@@ -149,7 +151,7 @@ class Class < Module
   #     New subclass: Bar
   #     New subclass: Baz
   #
-  def inherited: (Class arg0) -> untyped
+  private def inherited: (Class subclass) -> void
 
   # <!--
   #   rdoc-file=object.c
@@ -159,7 +161,7 @@ class Class < Module
   # object's #initialize method, passing it *args*.  This is the method that ends
   # up getting called whenever an object is constructed using `.new`.
   #
-  def new: () -> untyped
+  def new: (*untyped, **untyped) ?{ (?) -> untyped } -> untyped
 
   # <!--
   #   rdoc-file=object.c
diff --git a/test/stdlib/Class_test.rb b/test/stdlib/Class_test.rb
index 6a04c29bcb..449f958300 100644
--- a/test/stdlib/Class_test.rb
+++ b/test/stdlib/Class_test.rb
@@ -1,32 +1,73 @@
 require_relative "test_helper"
 
-class ClassTest < StdlibTest
-  target Class
+class ClassSingletonTest < Test::Unit::TestCase
+  include TestHelper
 
-  def test_singleton_new
-    Class.new()
-    Class.new(Integer)
-    Class.new { }
+  testing "singleton(::Class)"
+
+  def test_allocate
+    assert_send_type "() -> untyped",
+                     Class, :new
   end
+end
+
+class ClassInstanceTest < Test::Unit::TestCase
+  include TestHelper
+
+  testing "::Class"
+
+  Subclass = Class.new
 
   def test_allocate
-    Class.new.allocate
+    assert_send_type "() -> untyped",
+                     Subclass, :new
   end
 
-  def test_instance_new
-    Class.new.new
+  def test_new
+    assert_send_type  '() -> untyped',
+                      Subclass, :new
+
+    big_init = Class.new do
+      def initialize(*a, **k, &b) = nil
+    end
+
+    assert_send_type  '(*untyped, **untyped) { (?) -> untyped } -> untyped',
+                      big_init, :new, 1, 2, a: 3, 'b' => 4 do |x, y, &z| 3 end
   end
 
-  def test_super_class
-    Class.new.superclass
-    BasicObject.superclass
+  def test_initialize
+    assert_send_type "() -> void",
+                     Class.allocate, :initialize
+
+    assert_send_type "() { (Class) [self: Class] -> void } -> void",
+                     Class.allocate, :initialize do end
+
+    assert_send_type "(Class) -> void",
+                     Class.allocate, :initialize, String
+
+    assert_send_type "(Class) { (Class) [self: Class] -> void } -> void",
+                     Class.allocate, :initialize, String do end
+  end
+
+  def test_superclass
+    assert_send_type "() -> Class",
+                     String, :superclass
+    assert_send_type "() -> nil",
+                     BasicObject, :superclass
   end
 
   def test_subclasses
-    Class.new.subclasses
+    assert_send_type "() -> Array[Class]",
+                     Module, :subclasses
   end
 
   def test_attached_object
-    Class.new.singleton_class.attached_object
+    assert_send_type "() -> singleton(String)",
+                     String.singleton_class, :attached_object
+  end
+
+  def test_inherited
+    assert_send_type "(Class) -> void",
+                     Subclass, :inherited, String
   end
 end

From 18e6cd69dc11506184fee928c906e53763bb1b44 Mon Sep 17 00:00:00 2001
From: SamW <mail@sampersand.me>
Date: Tue, 24 Mar 2026 13:30:49 -0700
Subject: [PATCH 2/3] does this satisfy it

---
 test/stdlib/Class_test.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/stdlib/Class_test.rb b/test/stdlib/Class_test.rb
index 449f958300..c10f2fba99 100644
--- a/test/stdlib/Class_test.rb
+++ b/test/stdlib/Class_test.rb
@@ -39,13 +39,13 @@ def test_initialize
     assert_send_type "() -> void",
                      Class.allocate, :initialize
 
-    assert_send_type "() { (Class) [self: Class] -> void } -> void",
+    assert_send_type "() { (Class) [self: untyped] -> void } -> void",
                      Class.allocate, :initialize do end
 
     assert_send_type "(Class) -> void",
                      Class.allocate, :initialize, String
 
-    assert_send_type "(Class) { (Class) [self: Class] -> void } -> void",
+    assert_send_type "(Class) { (Class) [self: untyped] -> void } -> void",
                      Class.allocate, :initialize, String do end
   end
 

From ca8e3d851d31f5f5dc8ec8201fb7319fdf0d9405 Mon Sep 17 00:00:00 2001
From: SamW <mail@sampersand.me>
Date: Tue, 24 Mar 2026 13:33:30 -0700
Subject: [PATCH 3/3] didnt fix it

---
 core/class.rbs            | 2 +-
 test/stdlib/Class_test.rb | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/core/class.rbs b/core/class.rbs
index ebbdaf3898..bb27a1cc84 100644
--- a/core/class.rbs
+++ b/core/class.rbs
@@ -124,7 +124,7 @@ class Class < Module
   #     TrueClass.attached_object                  #=> TypeError: `TrueClass' is not a singleton class
   #     NilClass.attached_object                   #=> TypeError: `NilClass' is not a singleton class
   #
-  def attached_object: () -> instance
+  def attached_object: () -> untyped
 
   # <!--
   #   rdoc-file=object.c
diff --git a/test/stdlib/Class_test.rb b/test/stdlib/Class_test.rb
index c10f2fba99..ad36130a29 100644
--- a/test/stdlib/Class_test.rb
+++ b/test/stdlib/Class_test.rb
@@ -39,13 +39,13 @@ def test_initialize
     assert_send_type "() -> void",
                      Class.allocate, :initialize
 
-    assert_send_type "() { (Class) [self: untyped] -> void } -> void",
+    assert_send_type "() { (Class) [self: Class] -> void } -> void",
                      Class.allocate, :initialize do end
 
     assert_send_type "(Class) -> void",
                      Class.allocate, :initialize, String
 
-    assert_send_type "(Class) { (Class) [self: untyped] -> void } -> void",
+    assert_send_type "(Class) { (Class) [self: Class] -> void } -> void",
                      Class.allocate, :initialize, String do end
   end
 
@@ -62,8 +62,8 @@ def test_subclasses
   end
 
   def test_attached_object
-    assert_send_type "() -> singleton(String)",
-                     String.singleton_class, :attached_object
+    assert_send_type "() -> untyped",
+                     Subclass.new.singleton_class, :attached_object
   end
 
   def test_inherited