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

fix(lean): emit unqualified trait fields in default method bodies (#1…

e9f2381
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs