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.

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

Convert Signedness jdk.astub file to Annotated JDK #1

Open
wants to merge 51 commits into
base: master
Choose a base branch
from

Conversation

gokaco
Copy link
Owner

@gokaco gokaco commented May 29, 2019

No description provided.

@gokaco gokaco closed this May 29, 2019
@gokaco gokaco reopened this May 29, 2019
@gokaco gokaco changed the title Convert jdk.astub file to Annotated JDK Convert Signedness jdk.astub file to Annotated JDK May 30, 2019
gokaco pushed a commit that referenced this pull request Jun 28, 2019
Adds refinements so that @SamElen annotations on formal that refer to other parameters are symmetric. For example, the declaration:

void foo(int @SamElen("#2")[] a, int[] b)
is refined to
void foo(int @SamElen("#2")[] a, int @SamElen("#1")[] b)

Fixes typetools#2434.

(@Maxi17 contributed significantly to this commit.)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants