Crystal: Can't use self.new when argument isn't Type restricted

[Daniel-Worrall]

Broken example:

class Foo
  getter bar = [] of String

  def self.new(string)
    new(string.split(","))
  end

  def initialize(@bar)
  end
end

Foo.new("1,2,3")

Error: instance variable '@bar' of Foo must be Array(String), not String

Working example

class Foo
  getter bar = [] of String

  def self.new(string : String)
    new(string.split(","))
  end

  def initialize(@bar)
  end
end

Foo.new("1,2,3")

[asterite]

Invalid. In the first example the initialize will define a self.new that will override the other self.new.

Or said another way: if you do Foo.new("...") should the new or the initialize be called? It's not clear, so that's why it fails.

[Daniel-Worrall]

Ah, so since neither of them is type restricted, they'll end up overriding the generic 1 argument case.

Could this be implemented in the future, or perhaps reduced for this case? Since @bar already has an inline type restriction that it can pull from. Being unsure of the compiler internals, I'm not sure if the method can or cannot pull from the getter macro in that step.

Also, could the compiler keep both copies and only override once it goes through the "type restriction step".

[asterite]

"I don't think so" to both questions.