Skip to content

Propagate constant in result of inline match#18455

Merged
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:fix-13161
Sep 1, 2023
Merged

Propagate constant in result of inline match#18455
nicolasstucki merged 1 commit intoscala:mainfrom
dotty-staging:fix-13161

Commits

Commits on Aug 25, 2023