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

Copy link
Copy Markdown
Collaborator

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
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.

1 participant