assume_lifetimes: guess the lifetime arity for records with [[lifetimebound]]#780
Open
copybara-service[bot] wants to merge 1 commit intomainfrom
Open
assume_lifetimes: guess the lifetime arity for records with [[lifetimebound]]#780copybara-service[bot] wants to merge 1 commit intomainfrom
copybara-service[bot] wants to merge 1 commit intomainfrom
Commits
Commits on Mar 29, 2026
- authored andcommitted
