Steep fails to pick up ivar type declaration in if statement

[aaronmallen]

class Myclass
  # @rbs @foo: Hash[Symbol, untyped]?

  def initialize
    @foo = nil
  end

  # @rbs () -> void
  def main
    if @foo.nil?
      handle_nil_foo
    else
      # @type ivar @foo: Hash[Symbol, untyped]
      method_that_takes_hash(@foo)
    end
  end

  private

  # @rbs (Hash[Symbol, untyped] hash) -> void
  def method_that_takes_hash(hash)
    puts hash
  end
end

The above example will cause steep to raise ArgumentTypeMismatch error

[aaronmallen]

After a bit of digging I'd like to offer some clarification on this. Steep will not allow @type declarations for ivars to override the defined type at all if the ivar is already has a defined signature.