Infer recursive types through object literal getters - #64172

Open

Colin McDonnell (colinhacks) wants to merge 9 commits into

microsoft:mainfrom

colinhacks:recursive-getter-both-rebased

Commits on Sep 4, 2026

Prove a member cannot answer yet, instead of predicting it
Colin McDonnell (colinhacks)
committed
fd431c6
Add the conformance and editor coverage for this change
Colin McDonnell (colinhacks)
committed
11af8f5
Finish a property lookup that lands in the inherited-members window

alt
authored and
Colin McDonnell (colinhacks)
committed
7be19a4
Keep the pending records on a stack rather than a map

alt
authored and
Colin McDonnell (colinhacks)
committed
c9c7351
Keep a provisional comparison's circularity out of the program
Colin McDonnell (colinhacks)
committed
bdde92b
Answer a miss in the inherited-members window by who is asking
Colin McDonnell (colinhacks)
committed
2fddb00
Restore a replaced stack by header, not by length
Colin McDonnell (colinhacks)
committed
dd05678
Say what the inherited-member case actually does
Colin McDonnell (colinhacks)
committed
953cfe8
Tighten the wording in the recursive-getter comments
Colin McDonnell (colinhacks)
committed
94fd69c