Skip to content

fix: name the two colliding lists when a contract contradicts itself (#173) - #177

Open
Tonited wants to merge 1 commit into
NanmiCoder:mainfrom
Tonited:fix/repair-scope-conflict
Open

fix: name the two colliding lists when a contract contradicts itself (#173)#177
Tonited wants to merge 1 commit into
NanmiCoder:mainfrom
Tonited:fix/repair-scope-conflict

Commits

  1. Commits on Sep 17, 2026