Skip to content

Rustdoc search: Emit an error for unclosed generic#108656

Merged
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:rustdoc-search-unclosed-generic
Mar 4, 2023
Merged

Rustdoc search: Emit an error for unclosed generic#108656
bors merged 2 commits intorust-lang:masterfrom
GuillaumeGomez:rustdoc-search-unclosed-generic

Commits

Commits on Mar 3, 2023