Fix Result
and Option
not getting a jump to def link generated#133458
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 27, 2024
Merged
Fix `Result` and `Option` not getting a jump to def link generated#133458bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom