README
: document that Clippy may change codegen
#8037
Merged
README
: document that Clippy may change codegen
#8037