Skip to content
Scala CLA

Widen skolem types when adding parent refinements #20506

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20506

check

check
succeeded Jan 31, 2025 in 2s