rustdoc: fix position of default
in method rendering#110765
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 20, 2023
wackbyte:fix-defaultness-position
Merged
rustdoc: fix position of `default` in method rendering#110765bors merged 2 commits intorust-lang:masterfrom wackbyte:fix-defaultness-position
bors merged 2 commits intorust-lang:masterfrom
wackbyte:fix-defaultness-position