d15efb7d91
## Summary Clippy would lint for this if the symbol were public as a matter of API hygiene, so adding it.
## Summary Clippy would lint for this if the symbol were public as a matter of API hygiene, so adding it.