Only allow erased parameters in erased definitions #3368

Sign in to view logs

Triggered via pull request April 10, 2024 11:22

synchronize #19686

dotty-staging:desallow-non-erased-params-in-erased-defs

Status Success

Total duration 1m 21s

Artifacts –

spec.yml

on: pull_request