Add a fully fledged `Clause` type, rename old `Clause` to `ClauseKind` · rust-lang/rust@dcee3ab

Triggered via pull request June 19, 2023 15:46

synchronize #112772

Status Success

Total duration 38m 22s

Billable time 1h 25m

Artifacts 1

ci.yml

on: pull_request

Matrix: auto

Matrix: try

Matrix: pr

Produced during runtime

Name	Size
doc-112772-dcee3ab4 Expired	13.5 MB