Specification

Make `erased` capability-safe #8610

Sign in to view logs

Triggered via pull request June 25, 2025 10:35

odersky

opened #23419

dotty-staging:change-erased-2

Status Success

Total duration 1m 21s

Artifacts –

spec.yml

on: pull_request