Skip to content

types/rtti/todo: close counts a trailing undefined as a present member #1716

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sergey-shandar merged 41 commits into from
Aug 26, 2026
+477 −3
Merged

types/rtti/todo: close counts a trailing undefined as a present member #1716

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
79c789b
types/rtti/todo: `close` counts a trailing `undefined` as a present m…
claude Aug 26, 2026
09ca47a
Merge remote-tracking branch 'origin/main' into claude/edag-optional-…
claude Aug 26, 2026
74f0cc8
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
f9100a3
types/rtti/todo: correct the mechanism, and weigh the answer against …
claude Aug 26, 2026
35bcc84
Merge branch 'claude/edag-optional-property-lambda-7fho1u' of https:/…
claude Aug 26, 2026
e34f5fc
types/rtti/todo: answer A needs both knobs, and has a fourth site
claude Aug 26, 2026
3fea8d2
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
b201927
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
ce5feaf
types/rtti/todo: #1708 landed, and this does not fold into its issue
claude Aug 26, 2026
d1c0dbe
types/rtti/todo: narrow what answer B owes the README
claude Aug 26, 2026
c5f22e3
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
88b9b18
types/rtti/todo: `close(c, never)` and `close(c)` are one set, read t…
claude Aug 26, 2026
028d913
Merge branch 'claude/edag-optional-property-lambda-7fho1u' of https:/…
claude Aug 26, 2026
e379d2b
types/rtti/todo: the `close(c, never)` fix was wrong; normalize the rest
claude Aug 26, 2026
19ae367
types/rtti/todo: semantic empty rest, a verdict oracle, and a BREAKIN…
claude Aug 26, 2026
0349f2c
types/rtti/todo: the parse issue is a shared principle, not support f…
claude Aug 26, 2026
6214d1d
types/rtti/todo: spell the changelog marker exactly
claude Aug 26, 2026
6928a73
types/rtti/todo: define "empty rest" as what `toData` normalizes away
claude Aug 26, 2026
24ecf44
types/rtti/todo: cut the review scar tissue, keep the evidence
claude Aug 26, 2026
758d2d7
types/rtti/todo: define the empty rest operationally, not semantically
claude Aug 26, 2026
073ae48
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
2377162
types/rtti/todo: pin the retained witnesses too, both of them
claude Aug 26, 2026
04a5b4e
types/rtti/todo: state the empty-rest test as an equality
claude Aug 26, 2026
aa3e29d
types/rtti/todo: A decides the struct kind before it can be written
claude Aug 26, 2026
18bded9
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
e0b77df
types/rtti/todo: A owes the canonical form a change, not just the rea…
claude Aug 26, 2026
e1afbb6
types/rtti/todo: say cases and rows, not "witnesses" for both
claude Aug 26, 2026
1f15151
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
0dd9b9f
types/rtti/todo: state A's canonicalization cost as an invariant
claude Aug 26, 2026
8cf8215
Merge branch 'claude/edag-optional-property-lambda-7fho1u' of https:/…
claude Aug 26, 2026
77b55e8
types/rtti/todo: gate the object collapse, and name all three dropped…
claude Aug 26, 2026
7a3f746
types/rtti/todo: a declared undefined-only position is not collapsible
claude Aug 26, 2026
e44dda3
types/rtti/todo: the prototype asymmetry bounds A, it is not merged a…
claude Aug 26, 2026
673998f
types/rtti/todo: reflow the over-wide proof line
claude Aug 26, 2026
930ba1d
types/rtti/todo: the empty-rest equality must be up to rule renaming
claude Aug 26, 2026
ee4d178
types/rtti/todo: name mutual subset as the empty-rest comparison
claude Aug 26, 2026
611e96b
types/rtti/todo: A must strip undefined from every rest, not only dro…
claude Aug 26, 2026
53f5fe2
types/rtti/todo: B's invariant belongs on the close export, and is na…
claude Aug 26, 2026
35e0c90
types/rtti/todo: the undefined strip must be context-local
claude Aug 26, 2026
d0125c3
Merge branch 'main' into claude/edag-optional-property-lambda-7fho1u
sergey-shandar Aug 26, 2026
96dacce
types/rtti/todo: word the empty-rest changelog entry for the order it…
claude Aug 26, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading