Skip to content
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

Improve overload and generic signature inference: Inference alternatives and linked inferences #52944

Draft
wants to merge 7 commits into
base: main
Choose a base branch
from
+691 −444
Draft

Improve overload and generic signature inference: Inference alternatives and linked inferences #52944

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
43859f7
WIP Linked inferences for overload lists
weswigham Feb 15, 2023
b7849a1
All bugs except overeager literal typing are fixed~
weswigham Feb 16, 2023
16c969c
Fix bugs with leaked type parameters and overinstantiated circular de…
weswigham Feb 23, 2023
02c091b
Fix lints
weswigham Feb 23, 2023
ec37677
Merge branch 'main' into inference-alternatives-and-linked-inferences
weswigham Feb 23, 2023
83987a7
Fix semantic merge conflict
weswigham Feb 23, 2023
4b8b0a5
Some tests from some design limitation issues this fixes
weswigham Feb 23, 2023
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
Prev Previous commit
Next Next commit
Merge branch 'main' into inference-alternatives-and-linked-inferences
@weswigham
weswigham committed Feb 23, 2023

Verified

This commit was signed with the committer’s verified signature.
weswigham Wesley Wigham
GPG key ID: D59F87F60C5400C9
Verified
Learn about vigilant mode
commit ec376774a1f628461720214ae83f54bada6fe35f

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.