/src/tools/clippy/util/etc/