> This also papers over a potential defect

That's what suppressing warnings tend to do, yes.

> but also introduces a potentially semantic-breaking process into your compilation pipe.

Only if the beautifier is broken.

> What you're compiling is no longer that source you have a proof about.

It sure is, again, unless the beautifier is broken.