Skip to content
Back to pull request #22476

Widen skolem types when adding parent refinements #24662

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #24662

Triggered via pull request January 31, 2025 13:29
@KacperFKorbanKacperFKorban
opened #22488
dotty-staging:fix-i22456
Status Success
Total duration 27m 38s
Artifacts –

scaladoc.yaml

on: pull_request
build
16m 21s
build
stdlib-sourcelinks-test
0s
stdlib-sourcelinks-test
Fit to window
Zoom out
Zoom in