Rollup merge of #69077 - jumbatm:fix-comment, r=Dylan-DPC
Rollup merge of #69077 - jumbatm:fix-comment, r=Dylan-DPC

Fix outdated doc comment.

r? @RalfJung

aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,graydon/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust