Rollup merge of #74601 - GuillaumeGomez:cleanup-e0724, r=jyn514
Rollup merge of #74601 - GuillaumeGomez:cleanup-e0724, r=jyn514

Clean up E0724 explanation

r? @Dylan-DPC

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