Rollup merge of #75626 - GuillaumeGomez:cleanup-e0754, r=pickfire
Rollup merge of #75626 - GuillaumeGomez:cleanup-e0754, r=pickfire

Clean up E0754 explanation

r? @Dylan-DPC

cc @pickfire

aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust