-
Notifications
You must be signed in to change notification settings - Fork 13.7k
Commit 07d246f
Auto merge of #146038 - notriddle:polarity, r=GuillaumeGomez
rustdoc-search: split function inverted index by input/output
Fixes #146015
With a patch applied to count the number of unifications, and running the query `Option<T>, (T -> U) -> Option<U>`
before: performed unifyFunctionType on 17484 functions
after: performed unifyFunctionType on 3055 functions
preview:
https://notriddle.com/rustdoc-html-demo-12/polarity/doc/std/index.html
https://notriddle.com/rustdoc-html-demo-12/polarity/compiler-doc/rustc_hir/index.html File tree
3 files changed
+267
-72
lines changed- src/librustdoc/html
- render
- static/js
3 files changed
+267
-72
lines changed
0 commit comments