Skip to content

add unsafe Effect assertion diagnostic#187

Merged
mattiamanzati merged 1 commit into
mainfrom
port-unsafe-effect-type-assertion-a5b0e47
May 10, 2026
Merged

add unsafe Effect assertion diagnostic#187
mattiamanzati merged 1 commit into
mainfrom
port-unsafe-effect-type-assertion-a5b0e47

Commits

Commits on May 7, 2026