diff --git a/core/proc.rbs b/core/proc.rbs
index d09ec7feb..737038710 100644
--- a/core/proc.rbs
+++ b/core/proc.rbs
@@ -290,7 +290,7 @@
 #
 class Proc
   interface _Callable
-    def call: (*untyped, **untyped) ?{ (*untyped, **untyped) -> untyped } -> untyped
+    def call: (?) -> untyped
   end
 
   # <!--
@@ -306,7 +306,7 @@ class Proc
   #
   #     Proc.new    #=> ArgumentError
   #
-  def self.new: () { (*untyped, **untyped) -> untyped } -> instance
+  def self.new: () { (?) -> untyped } -> instance
 
   def clone: () -> instance
   def dup: () -> instance
@@ -555,7 +555,7 @@ class Proc
   #
   # See also Proc#lambda?.
   #
-  def call: (*untyped, **untyped) ?{ (*untyped, **untyped) -> untyped } -> untyped
+  def call: (?) -> untyped
 
   # <!-- rdoc-file=proc.c -->
   # Invokes the block, setting the block's parameters to the values in *params*
diff --git a/test/stdlib/Proc_test.rb b/test/stdlib/Proc_test.rb
index 5c1482c7e..2ee9fc6ac 100644
--- a/test/stdlib/Proc_test.rb
+++ b/test/stdlib/Proc_test.rb
@@ -9,7 +9,7 @@ class MyProc < Proc
   end
 
   def test_new
-    assert_send_type '() { (*untyped, **untyped) -> untyped } -> ProcSingletonTest::MyProc',
+    assert_send_type '() { (?) -> untyped } -> ProcSingletonTest::MyProc',
                      MyProc, :new do end
   end
 end
@@ -96,7 +96,7 @@ def test_binding
   end
 
   def test_call(method: :call)
-    assert_send_type  '(*untyped, **untyped) ?{ (*untyped, **untyped) -> untyped } -> untyped',
+    assert_send_type  '(?) -> untyped',
                       proc{1r}, method, 1, 2i, foo: :three do end
   end