Skip to content
Scala CLA

Widen skolem types when adding parent refinements #20556

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20556

Triggered via pull request February 5, 2025 11:10
@KacperFKorbanKacperFKorban
synchronize #22488
dotty-staging:fix-i22456
Status Success
Total duration 9s
Artifacts –

cla.yml

on: pull_request
check
1s
check
Fit to window
Zoom out
Zoom in