Skip to content

Register Field Contracts Before Forward Declared Writes - #314

Merged
rcosta358 merged 1 commit into
mainfrom
codex/fix-308-forward-field-write
Oct 2, 2026
Merged

rcosta358 merged 1 commit into
mainfrom
codex/fix-308-forward-field-write

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

Closes #308. Registers a field’s type and refinement before checking its first assignment, preventing a crash when its class is declared later in the file.

@CatarinaGamboa CatarinaGamboa left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This fixes this issue and is fine for now but we might need more complex handling for nestes classes in the future - I've added some issues for that as follow-ups (non-urgent) in #315

@rcosta358
rcosta358 merged commit dd02e99 into main Oct 2, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Writing a field of a class declared later in the file crashes verification

2 participants