Skip to content

Preserve outer field refinements across nested classes - #326

Open
rcosta358 wants to merge 1 commit into
codex/issue-316-field-readfrom
codex/issue-317-nested-context
Open

rcosta358 wants to merge 1 commit into
codex/issue-316-field-readfrom
codex/issue-317-nested-context

Conversation

@rcosta358

@rcosta358 rcosta358 commented Oct 2, 2026 •

Copy link
Copy Markdown
Collaborator

Closes #317.

Summary

  • Preserve outer field refinements when visiting nested classes.
  • Prevent nested fields from leaking into their outer class.

Tests

  • ./mvnw -pl liquidjava-verifier -am test -Dtest=TestExamples -Dsurefire.failIfNoSpecifiedTests=false (199 passed)

This PR was generated by Codex.

@rcosta358 rcosta358 changed the title Preserve outer field refinements across nested classes (fix #317) Preserve outer field refinements across nested classes Oct 2, 2026
@rcosta358 rcosta358 linked an issue Oct 3, 2026 that may be closed by this pull request
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.

Nested classes wipe the outer class's field refinements

1 participant