reachable computation: extend explanation of what this does, and why#124904

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

RalfJung:reachableRalfJung/rust:reachableCopy head branch name to clipboard