https://github.com/rust-lang/rust/pull/100356 contains 8 PRs in rollup, but perf bot message talks about only one PR https://github.com/rust-lang/rust/pull/100356#issuecomment-1210363384 probably #1372 so @rylev ?