ruff
[ty] Add (currently unused) scoped existential nodes
#27138

Open

[ty] Add (currently unused) scoped existential nodes #27138

dcreager wants to merge 8 commits into main from dcreager/existential-nodes

dcreager added internal

dcreager added ty

dcreager force pushed from bdfbaf8a to 7adca4b6 31 days ago

dcreager force pushed from 7adca4b6 to 5698987b 27 days ago

Base automatically changed from dcreager/inferable-instances to main 27 days ago

add partial plan back

219c45a0

[π] Revise existential atom storage plan

06e00004

[π] Tighten Phase 3 plan around minimal existential representation

7f3f29bf

[π] Add minimal existential constraint atoms, ownership, and display

7b936ee3

clean this shit up

f2f2885a

[π] Test empty existential binders do not create existential atoms

2dac7f00

[π] Align quantified-relation plan with final implementation

1d923e7b

remove partial plan

8edaca16

dcreager force pushed from 5698987b to 8edaca16 27 days ago

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone