Add known-issues about splat args

lib/typeprof/core/ast/misc.rb

@@ -151,6 +151,8 @@ def initialize(raw_node, lenv)
 
       def subnodes = { expr: }
 
+      def mid_code_range = nil
+
       def install0(genv)
         vtx = @expr.install(genv)
 

scenario/known-issues/splat-arg.rb

@@ -0,0 +1,16 @@
+## update
+class Foo
+  def check(*args)
+    args # This should be an Array[Integer], but currently it's an Integer
+  end
+
+  def foo
+    check(1)
+  end
+end
+
+## assert
+class Foo
+  def check: (*Integer) -> Array[Integer]
+  def foo: -> Integer
+end

scenario/known-issues/splat-on-non-array.rb

@@ -0,0 +1,6 @@
+## update
+def check
+  a = *123 # this calls `to_a` on 123, but the error should be suppressed
+end
+
+## diagnostics