Skip to content

Fix elided lifetime#14487

Merged
bors merged 2 commits intorust-lang:masterfrom
ehuss:fix-elided-lifetime
Sep 2, 2024
Merged

Fix elided lifetime#14487
bors merged 2 commits intorust-lang:masterfrom
ehuss:fix-elided-lifetime

Commits

Commits on Sep 2, 2024