]> git.lizzy.rs Git - rust.git/commit
Auto merge of #13868 - lowr:patch/unused-known-names-bye, r=Veykril
authorbors <bors@rust-lang.org>
Sat, 31 Dec 2022 08:23:22 +0000 (08:23 +0000)
committerbors <bors@rust-lang.org>
Sat, 31 Dec 2022 08:23:22 +0000 (08:23 +0000)
commitf1c4150c939752608b70f8ed9980aa4043857012
tree4ceafe8c8c87d6736949c60f38a273e436219d0d
parent0d76b94c90a20c20d3e57ea1ab03d9afa00dee72
parent0430b68398ef19d17f183ac4d6502612df5b4774
Auto merge of #13868 - lowr:patch/unused-known-names-bye, r=Veykril

minor: remove unused known `Name`s

After #13866, known `Name`s for safe intrinsics are no longer used and thus should be removed.