it was added back in6035e050e8, at which time there were some files matching it, e.g.6035e050e8/clippy_lints/src/lib.deprecated.rs
it was added back in6035e050e8, at which time there were some files matching it, e.g.6035e050e8/clippy_lints/src/lib.deprecated.rs