Rollup merge of #140095 - nnethercote:rm-word_or_empty, r=jdonszelmann

Eliminate `word_and_empty` methods.

To remove the last remaining `Ident::empty` uses.

r? `@jdonszelmann`
This commit is contained in:
Matthias Krüger 2025-05-08 20:22:09 +02:00 committed by GitHub
commit a4e581a139
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

Diff Content Not Available