Skip to content

ErrorType instead of throwing in match type "no cases"#18016

Merged
dwijnand merged 1 commit intoscala:mainfrom
dwijnand:mt/reduce-to-ErrorType
Jun 24, 2023

Commits

Commits on Jun 24, 2023