Simplify lint #7580

Job	Run time
build (g++-4.9, Debug, 11)	1m 55s
build (g++-4.9, Release, 11)	2m 27s
build (g++-10, Debug, 11)	1m 25s
build (g++-10, Release, 11)	2m 8s
build (clang++-9, Debug, 11)	1m 27s
build (clang++-9, Release, 11)	2m 20s
build (g++-8, Debug, 14, sudo apt install g++-8)	1m 17s
build (g++-8, Debug, 17, sudo apt install g++-8)	1m 34s
build (g++-9, Debug, 17)	1m 49s
build (g++-10, Debug, 17)	1m 29s
build (g++-11, Debug, 20, sudo apt install g++-11)	1m 57s
build (clang++-8, Debug, 17, -stdlib=libc++, sudo apt install clang-8 libc++-8-dev libc++abi-8-dev)	1m 34s
build (clang++-9, Debug, 17, -DFMT_FUZZ=ON -DFMT_FUZZ_LINKMAIN=ON, sudo apt install clang-9)	1m 38s
build (clang++-11, Debug, 20)	1m 47s
build (clang++-11, Debug, 20, -stdlib=libc++, sudo apt install libc++-11-dev libc++abi-11-dev)	1m 44s
build (g++-13, Release, 23, -DBUILD_SHARED_LIBS=ON, sudo apt install g++-13)	3m 38s
	30m 9s

Provide feedback