Rollup merge of #75451 - GuillaumeGomez:cleanup-e0751, r=pickfire
Rollup merge of #75451 - GuillaumeGomez:cleanup-e0751, r=pickfire

Clean up E0751 explanation

r? @Dylan-DPC

cc @pickfire

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