Fix method parameter type checking

[soutaro]

With rest and keyword params.

Type checking the following type definition fails.

class Foo
  def bar: (*String, name: String) -> void
end

class Foo
  def bar(*args, name:)      # <- type error reported here
  end
end