Skip to content

fix(lean): emit unqualified trait fields in default method bodies (#1889)#2023

Open
MavenRain wants to merge 1 commit into
cryspen:mainfrom
MavenRain:lean-trait-constants-1889
Open

fix(lean): emit unqualified trait fields in default method bodies (#1889)#2023
MavenRain wants to merge 1 commit into
cryspen:mainfrom
MavenRain:lean-trait-constants-1889

Commits

Commits on May 3, 2026