Compiler crashes infering type of generic ivar

[cjgajard]

"jokke" (from IRC) posted https://p.jreinert.com/m-Z4eWbH/ asking for help.

reduced to:

class Watchdog
  def initialize
    @channel = Channel.new(Float64)
  end
end

watchdog = Watchdog.new

That should raise can't infer the type parameter T for the generic class Channel(T). Please provide it explicitly error (as it does when is assign to a local var) instead of crashing.

[asterite]

Other codes that reproduce this:

class A(T)
  alias B = C(T) 
  
  class C(T)
    @c : B = C.new
  end
end

and

class A(T)
  alias B = A(T)

  class C
    @c : B
  end
end