Should set self_type to self

core/module.rbs

@@ -377,7 +377,7 @@ class Module < Object
   #         or method `code' for Thing:Class
   #
   def class_eval: (String arg0, ?String filename, ?Integer lineno) -> untyped
-                | [U] () { (self m) -> U } -> U
+                | [U] () { (self m) [self: self] -> U } -> U
 
   # <!-- rdoc-file=vm_eval.c -->
   # Evaluates the given block in the context of the class/module. The method
@@ -1083,7 +1083,7 @@ class Module < Object
   #         or method `code' for Thing:Class
   #
   def module_eval: (String arg0, ?String filename, ?Integer lineno) -> untyped
-                 | [U] () { (self m) -> U } -> U
+                 | [U] () { (self m) [self: self] -> U } -> U
 
   # <!--
   #   rdoc-file=vm_eval.c

test/typecheck/eval/Steepfile

@@ -0,0 +1,7 @@
+D = Steep::Diagnostic
+
+target :test do
+  signature "."
+  check "."
+  configure_code_diagnostics(D::Ruby.all_error)
+end

test/typecheck/eval/test.rb

@@ -0,0 +1,26 @@
+class Foo
+  def self.singleton
+  end
+
+  private
+
+  def private_method
+  end
+end
+
+module Bar
+  def self.singleton
+  end
+end
+
+Foo.class_eval do
+  singleton
+end
+
+Foo.new.instance_eval do
+  private_method
+end
+
+Bar.module_eval do
+  singleton
+end

test/typecheck/eval/test.rbs

@@ -0,0 +1,11 @@
+class Foo
+  def self.singleton: () -> void
+
+  private
+
+  def private_method: () -> void
+end
+
+module Bar
+  def self.singleton: () -> void
+end