Skip to content
Back to pull request #19953

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

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 #19243

build

build
succeeded Mar 17, 2024 in 13m 33s