Auto merge of #113126 - Bryanskiy:delete_old, r=petrochenkov · RalfJung/miri@986a4e3 · GitHub

Commit

Auto merge of #113126 - Bryanskiy:delete_old, r=petrochenkov

Browse files

Replace old private-in-public diagnostic with type privacy lints

Next part of RFC rust-lang/rust#48054.

r? `@petrochenkov`

Loading branch information

bors committed Sep 1, 2023

2 parents f63c266 + 0556996 commit 986a4e3