Skip to content
Back to pull request #18787

Detect case where two alternatives are the same after widening ExprTypes #453

Sign in to view logs

Detect case where two alternatives are the same after widening ExprTypes

Detect case where two alternatives are the same after widening ExprTypes #453

Triggered via pull request October 30, 2023 14:15
@oderskyodersky
synchronize #18787
dotty-staging:fix-18768
Status Success
Total duration 1m 35s
Artifacts –

spec.yml

on: pull_request
specification
1m 25s
specification
Fit to window
Zoom out
Zoom in