Rollup merge of #70470 - GuillaumeGomez:cleanup-e0463, r=Dylan-DPC
Rollup merge of #70470 - GuillaumeGomez:cleanup-e0463, r=Dylan-DPC

Clean up E0463 explanation

r? @Dylan-DPC

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