Skip to content

rustdoc-search: simplify the checkTypes fast path#117955

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:master
Nov 16, 2023

Commits

Commits on Nov 15, 2023