Skip to content

Fix false documentation of FnCtxt::diverges#141728

Merged
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:fix-docs
May 30, 2025
Merged

Fix false documentation of FnCtxt::diverges#141728
bors merged 1 commit intorust-lang:masterfrom
JonathanBrouwer:fix-docs

Commits

Commits on May 29, 2025