reachable computation: clarify comments around consts#126259

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:reachable-constRalfJung/rust:reachable-constCopy head branch name to clipboard