Rollup merge of #153172 - jdonszelmann:placeholder-comment, r=lcnr

Browse Source

Fix comment about placeholders

r? @lcnr

When this was introduced, briefly returned an `Option`, which is what the comment refers to.
a9f1e1c440 (diff-8d11697c196da9f44774488ae0bf353283e5c6466a6dd570d7818431b73d4a44R511)

Before that this code would just panic, and in the commit right after fixing review comments it does so again:
cf001dc889 (diff-8d11697c196da9f44774488ae0bf353283e5c6466a6dd570d7818431b73d4a44R560)

That comment has been copied around for 5 years now despite not reflecting the behavior hehe

Second commit has some general typos I found

...

This commit is contained in:

Jonathan Brouwer

2026-02-28 12:52:56 +01:00

committed by GitHub

parent 85f699bc6f eee277d035

commit 9b6ed6f291

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

Diff Content Not Available