Skip to content

Improve quick-fix support for "term-level use of type constructors" - #213

Draft
sol wants to merge 1 commit into
mainfrom
term-level-type-constructors
Draft

Improve quick-fix support for "term-level use of type constructors"#213
sol wants to merge 1 commit into
mainfrom
term-level-type-constructors

Commits

Commits on Jul 14, 2025