[apiology]

Claude: This PR was written by Claude Code on behalf of @apiology.

Problem: Block parameters of map.with_index lose their types:

# @param items [Array<Integer>]
# @return [Array<Integer>]
# Declared return type ::Array<::Integer> does not match inferred type ::Enumerator<::Array(::Integer, ::Array, ::Integer), undefined> for #doubled
def doubled items
  # Unresolved call to *
  items.map.with_index { |item, _idx| item * 2 }
end

Every receiver whose class declares two or more generics, such as core RBS's Enumerator[Elem, Return], has lost them since castwide/solargraph#1201; names.each_with_index.map { |pair| } types pair as Array(String, Integer), Array<String>.

Solution: Bind a multi-generic receiver's declared parameters by position again, keeping castwide#1201's union binding for Array<A, B> and tuple receivers, so every type comes from a declaration and Chain::Literal, Chain::Array, literal? and tuple? stay untouched.

Not covered: destructuring that tuple into |name, idx| also needs tuple? re-enabled, which apiology/solargraph#341 does.

[apiology]

Claude: Closing as a duplicate of castwide/solargraph#1415, Resolve every generic parameter, not only the first. On its head, map.with_index block parameters and result are typed, and each_with_index.map { |pair| } types pair as Array(String, Integer). This PR's with_index specs and its tuple-receiver spec now live there.