Merge `main` into `future`#1587

Closed

github-actions[bot] wants to merge 1 commit intofuturefrom

automerge/merge-main-2025-11-10_09-05

Commits on Nov 7, 2025

Use updated spelling for lifetime annotations. (#1584)
glessard
authored