Strict include/delete element types

[soutaro]

RBS has provided a method type of include?/delete with untyped.

class Array[Elem]
  def include?: (untyped) -> bool   # Allows passing object of unrelated types.
end

This is more compatible with Ruby runtime behavior.

a = [1, 2, 3]      # RBS assumes the `a` has type of `Array[Integer]`
a.include?("1")    # Ruby evaluates this line without an error, but returns false.

I have found that limiting the type of argument here makes more sense to find possible bugs, and want to change the type.

This is an example of the type error: Parser::KEYWORDS is Hash[String, bot], and passing a Symbol to include? always returns false, which is not what I want to do here.

[ksss]

Is this a same problem?
#814

[soutaro]

@ksss Yes, I changed my opinion... And I have to fix the type of #count too.

[ksss]

Thank you for your consideration of my opinion.