Combine cases of `Tuple.Zip` disjoint from `(h1 : t1, h2 : t2)` #5946

Sign in to view logs

Triggered via pull request November 7, 2024 11:10

EugeneFlesselle

synchronize #21287

dotty-staging:tuples/zip

Status Success

Total duration 1m 18s

Artifacts –

spec.yml

on: pull_request