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