hello

hello.cr

class Test
  def on_thing(&block : Int32 ->)
    @on_thing_cb = block
  end
end

class A
  def hi
  end
end

x = [A.new, nil]

test = Test.new
if y = x[0]
  test.on_thing do |i|
    y.hi # undefined method 'hi' for Nil (compile-time type is (A | Nil))
  end
end


# If I change the last part to do this, no error


test = Test.new
if y = x[0]
  g = y
  test.on_thing do |i|
    g.hi 
  end
end