Skip to content

remove MutTy - #163327

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
cyrgani:mut-ty
Sep 28, 2026
Merged

remove MutTy#163327
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
cyrgani:mut-ty

remove `hir::MutTy`

ac6f00d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 28, 2026 in 32s