Skip to content
Back to pull request #19953

[WIP] Match Type with no cases should not reduce to ErrorType #16950

Sign in to view logs

[WIP] Match Type with no cases should not reduce to ErrorType

[WIP] Match Type with no cases should not reduce to ErrorType #16950

check

check
succeeded Mar 17, 2024 in 6s