Two small query improvements#154067

nnethercote wants to merge 2 commits into

rust-lang:mainrust-lang/rust:mainfrom

nnethercote:two-small-query-improvementsnnethercote/rust:two-small-query-improvementsCopy head branch name to clipboard