Skip to content

Better error message when a pattern match extractor is not found.#18725

Merged
odersky merged 4 commits intoscala:mainfrom
dotty-staging:fix-#18684
Oct 19, 2023

Commits

Commits on Oct 19, 2023