Shorten types more when only interesting part is lifetimes#158992
Merged
rust-bors[bot] merged 14 commits intoJul 16, 2026
Commits
Commits on Jul 15, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed