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

Jump to bottom

Implement type argument inference based on the latest JLS #6138

Merged
merged 733 commits into from
Dec 18, 2023
Merged

Implement type argument inference based on the latest JLS #6138

merged 733 commits into from
Dec 18, 2023

Conversation

smillst
Copy link
Member

@smillst smillst commented Aug 23, 2023 •
edited
Loading

smillst added 30 commits May 24, 2023 09:05
@smillst
Fix initlization prob.
aecb62c
@smillst
Inference jobs aren't canaries
66b1d39
@smillst
Rename.
994879d
@smillst
More renamings
5b8f264
@smillst
Complete renaming.
f8d9938
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
dbcd2c4
@smillst
Add outer class.
63fc236
@smillst
Don't use assignedTo
26ebcb0
@smillst
Merge branch 'keyfor-prop' into java8inference
3645230
@smillst
Remove old type inference.
f3a7409
@smillst
Add comment.
a9ef87e
@smillst
Fix.
88637da
@smillst
unskip tests in checker/tests/nullness
557abb9
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
5f42bd1
@smillst
Don't use deprecated methods.
a92c9a0
@smillst
Add a test case.
de5a1be
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
241f3f1
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
4d1b5e9
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
4edffec
@smillst
Avoid var crash.
5cb76c0
@smillst
Update test cases.
0ba0b83
@smillst
Remove uneeded.
a1b0a00
@smillst
Expand wildcard
d2ff03c
@smillst
Rename test.
67dd59e
@smillst
Fix up testcases.
6a99411
@smillst
Fix.
6a4e0c9
@smillst
Remove method.
1b14ac1
@smillst
Fix.
67ebc69
@smillst
Remove workaround.
3aa249d
@smillst
Revert "Remove workaround."
d26acc1 
This reverts commit 3aa249d.
@smillst
Copy link
Member Author

smillst commented Dec 8, 2023

@mernst I think this is ready to merge. I've also added a changelog that you should review.

@smillst smillst requested a review from mernst December 8, 2023 18:47
mernst
mernst previously approved these changes Dec 8, 2023
View reviewed changes
Copy link
Member

@mernst mernst left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@smillst smillst enabled auto-merge (squash) December 8, 2023 20:27
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
9e48b74 
# Conflicts:
#	docs/CHANGELOG.md
#	framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
@smillst
Make compile.
8a679ae
@smillst
Merge remote-tracking branch 'origin/master' into java8inference
be81d88
@smillst smillst assigned smillst and unassigned mernst Dec 16, 2023
@smillst smillst enabled auto-merge (squash) December 18, 2023 22:40
@smillst smillst merged commit bc0b44d into typetools:master Dec 18, 2023
29 checks passed
@smillst smillst deleted the java8inference branch December 18, 2023 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mernst mernst mernst left review comments

Assignees

@smillst smillst

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Implement Java 8 type argument inference
2 participants
@smillst @mernst