Skip to content

Move some things to rustc_type_ir#139722

Merged
bors merged 1 commit intorust-lang:masterfrom
jackh726:patternkind-walk-toir
Apr 14, 2025

Commits

Commits on Apr 12, 2025