]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0d76b94 0430b68)
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)
minor: remove unused known `Name`s

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


Trivial merge
Empowering everyone to build reliable and efficient software.