fix/extend some mir-opt comments#154297

rust-bors[bot] merged 2 commits intorust-lang:mainrust-lang/rust:mainfrom

RalfJung:mir-opt-commentsRalfJung/rust:mir-opt-commentsCopy head branch name to clipboard