Skip to content

move rustc_type_ir Term things to term_kind.rs#157419

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:term_kind_rs
Jun 25, 2026
Merged

move rustc_type_ir Term things to term_kind.rs#157419
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
khyperia:term_kind_rs

move rustc_type_ir Term things to term_kind.rs

c0ea87e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 24, 2026 in 38s