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

Java: Do not lift neutrals in Model generation. #16578

Merged
merged 3 commits into from
May 24, 2024

Conversation

michaelnebel
Copy link
Contributor

@michaelnebel michaelnebel commented May 23, 2024

As neutrals do not have a concept of applying to all overrides, the models should not be lifted. Instead we should generate summary neutrals for all "relevant" (public) methods that don't have a summary model that applies to them.

@github-actions github-actions bot added the Java label May 23, 2024
@michaelnebel michaelnebel changed the title Java: Do not lift neutrals. Java: Do not lift neutrals in Model generation. May 24, 2024
@michaelnebel michaelnebel added the no-change-note-required This PR does not need a change note label May 24, 2024
@michaelnebel michaelnebel marked this pull request as ready for review May 24, 2024 06:14
@michaelnebel michaelnebel requested a review from a team as a code owner May 24, 2024 06:14
@michaelnebel michaelnebel merged commit 78d4745 into github:main May 24, 2024
24 checks passed
@michaelnebel michaelnebel deleted the java/dontliftneutral branch May 24, 2024 07:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Java no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants