Auto merge of #13588 - GuillaumeGomez:fix-lint-anchor, r=flip1995 #4601

Job	Run time
changelog	6s
metadata_collection	1m 53s
integration_build	1m 17s
base (ubuntu-latest, x86_64-unknown-linux-gnu)	4m 20s
base (ubuntu-latest, i686-unknown-linux-gnu)	5m 26s
base (windows-latest, x86_64-pc-windows-msvc)	6m 33s
base (macos-13, x86_64-apple-darwin)	5m 5s
integration (matthiaskrgr/clippy_ci_panic_test)	28s
integration (rust-lang/cargo)	3m 12s
integration (rust-lang/chalk)	1m 54s
integration (rust-lang/rustfmt)	40s
integration (Marwes/combine)	1m 0s
integration (Geal/nom)	42s
integration (rust-lang/stdarch)	34s
integration (serde-rs/serde)	53s
integration (chronotope/chrono)	40s
integration (hyperium/hyper)	36s
integration (rust-random/rand)	35s
integration (rust-lang/futures-rs)	51s
integration (rust-itertools/itertools)	39s
integration (rust-lang-nursery/failure)	26s
integration (rust-lang/log)	31s
bors test finished	1s
bors test finished	0s
	38m 22s

Provide feedback