Skip to content

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.

3 participants