bors
89886e6936
Auto merge of #80314 - GuillaumeGomez:rollup-9rc48vx, r=GuillaumeGomez
Rollup of 17 pull requests
Successful merges:
- #80136 (Add test for issue #74824)
- #80203 (Edit rustc_middle::lint::LintSource docs)
- #80204 (docs: Edit rustc_middle::ty::query::on_disk_cache)
- #80219 (Fix labels for 'Library Tracking Issue' template)
- #80222 (Fix rustc-std-workspace-core documentation)
- #80223 (docs: Fix outdated crate reference)
- #80225 (Add module-level docs to rustc_middle::ty)
- #80241 (Fix typo)
- #80248 (Remove `I-prioritize` from Zulip topic)
- #80266 (Remove redundant test)
- #80272 (rustc_span: Provide a reserved identifier check for a specific edition)
- #80285 (Update books)
- #80286 (docs: Edit rustc_middle::middle::privacy)
- #80297 (Add some intra-doc links to compiler docs)
- #80298 (Improve the code quality by using matches macro)
- #80299 (Turn helper method into a closure)
- #80302 (docs: Update rustc_middle::middle::region::ScopeTree)
Failed merges:
r? `@ghost`
`@rustbot` modify labels: rollup
2020-12-23 00:41:46 +00:00
..
2020-12-17 11:55:49 -08:00
2020-12-17 11:43:55 +09:00
2020-12-17 17:08:18 +01:00
2020-12-20 13:11:07 +01:00
2020-12-14 22:00:46 -05:00
2020-12-22 09:54:23 -05:00
2020-12-18 15:27:28 -05:00
2020-12-17 16:40:47 +00:00
2020-12-20 00:00:00 +00:00
2020-12-19 15:16:03 +09:00
2020-12-18 15:22:51 -05:00
2020-12-19 07:13:36 -06:00
2020-12-19 04:32:50 +00:00
2020-12-17 11:43:55 +09:00
2020-12-18 15:22:51 -05:00
2020-12-20 07:01:00 +00:00
2020-12-22 09:54:23 -05:00
2020-12-18 22:13:25 +09:00
2020-12-22 10:32:03 +00:00
2020-12-22 10:32:03 +00:00
2020-12-16 10:31:42 +00:00
2020-12-17 15:20:45 -08:00
2020-12-17 11:44:03 +09:00
2020-12-23 00:14:01 +01:00
2020-12-21 13:12:36 +00:00
2020-12-22 15:20:24 +00:00
2020-12-19 07:13:36 -06:00
2020-12-19 04:32:50 +00:00
2020-12-18 18:53:12 -08:00
2020-12-20 23:55:03 +01:00
2020-12-17 11:44:08 +09:00
2020-12-23 00:13:53 +01:00
2020-12-18 15:27:28 -05:00
2020-12-16 10:41:07 +01:00
2020-12-19 20:37:51 -05:00
2020-12-18 15:27:28 -05:00
2020-12-22 16:18:34 +01:00