calling #each on obj typed with record yields |bot, bot| types about rbs HOT 3 OPEN

💡 Optional keys are not supported and simply ignored in Steep. The implementation in RBS was finished, but the Steep side slipped my mind. 🙇

@sampersand You may be interested in working for this.

from rbs.

Looks like it works with Steep 1.7.1. Can you give me some more detail to reproduce?

from rbs.

module A
  type context = {
    ?msg: Hash[interned, untyped],
    # identifiers
    ?identifiers: Hash[interned, untyped],
    # ....
  }

  def self?.hash_flat_merge: (context, context) -> context
}

Then "#each" declares them as bot in steep.

using latest rbs and steep.

from rbs.