[apiology]

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

Problem: Destructuring a declared tuple gives every variable the first element's type:

class Foo; end
class Bar; end

class Holder
  # @return [Array(Foo, Bar)]
  def pair
    [Foo.new, Bar.new]
  end

  # Declared return type ::Bar does not match inferred type ::Foo for Holder#second
  # @return [Bar]
  def second
    _h, sel = pair
    sel
  end
end

A declared Array(A, B) is read as Array<A> for mass assignment and destructured block parameters such as Hash#each { |k, v| }.

Solution: Re-enable TypeMethods#tuple?, which only declared types can satisfy now that array literals infer a bare Array, and give targets after a splat the union of the tuple's elements, since their position depends on the tuple's length.

Out of scope: pair.first and pair[0] stay Foo, Bar, nil; positional element methods need the tuple fill removed in castwide#1201.

Typed block parameters expose Solargraph gaps in its own code. Two are marked with the fix PRs that clear them: unique_type.rb:431 (castwide#1451) and flow_sensitive_typing.rb:234 (castwide#1266 with castwide#1451). One remains unmarked:

• complex_type/unique_type.rb:426: Unresolved call to map

Markers cleared: 1

[apiology]

Claude: Opened upstream as castwide#1461.