Skip to content

Preserve outer field refinements across nested classes - #326

Merged
rcosta358 merged 2 commits into
mainfrom
codex/issue-317-nested-context
Oct 6, 2026
Merged

rcosta358 merged 2 commits into
mainfrom
codex/issue-317-nested-context

Preserve enclosing class refinements across nested classes

26bc704
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar