Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #120372 - bjorn3:fix_outdated_comment, r=Nilstrieb
Fix outdated comment on Box
Caught by `@vi` in https://github.com/rust-lang/rust/pull/113960#discussion_r1454278520
