Array(T | Array[T]) not well handled

[HoneyryderChuck]

Given a variable typed as smth or collection of smth, Array(a) does not spread correctly:

# a: Symbol | Array[Symbol]
Array(a).each do |el|
# el is typed as Symbol | Array[Symbol], instead of Symbol

[ParadoxV5]

The problem is once again

rbs/core/kernel.rbs

Lines 442 to 444 in 45b34bd

	def self?.Array: (nil) -> []
	| [T] (array[T] | _ToA[T] array_like) -> Array[T]
	| [T] (T ele) -> [T]

Contray to our expectation, former overloads does not narrow latter overloads.

We’d have to change that to something like [T] (T ele) -> [T] | Array[untyped], yet this still won’t help with the topic without more efforts done by the type checkers.

[soutaro]

Confirmed. The type of Array(a) is Array[Symbol | Array[Symbol]] where it is expected to be Array[Symbol].
Not sure if I can fix the problem... 😫