bors
e37c99fa1c
Auto merge of #77224 - RalfJung:rollup-hdvb96c, r=RalfJung
Rollup of 12 pull requests
Successful merges:
- #75454 (Explicitly document the size guarantees that Option makes.)
- #76631 (Add `x.py setup`)
- #77076 (Add missing code examples on slice iter types)
- #77093 (merge `need_type_info_err(_const)`)
- #77122 (Add `#![feature(const_fn_floating_point_arithmetic)]`)
- #77127 (Update mdBook)
- #77161 (Remove TrustedLen requirement from BuilderMethods::switch)
- #77166 (update Miri)
- #77181 (Add doc alias for pointer primitive)
- #77204 (Remove stray word from `ClosureKind::extends` docs)
- #77207 (Rename `whence` to `span`)
- #77211 (Remove unused #[allow(...)] statements from compiler/)
Failed merges:
- #77170 (Remove `#[rustc_allow_const_fn_ptr]` and add `#![feature(const_fn_fn_ptr_basics)]`)
r? `@ghost`
2020-09-26 17:50:26 +00:00
..
2020-09-11 09:37:51 -07:00
2020-09-23 21:51:56 +02:00
2020-09-26 01:25:55 +02:00
2020-09-23 22:08:30 +02:00
2020-09-16 23:09:57 +02:00
2020-09-18 20:28:35 +02:00
2020-09-10 17:58:14 -04:00
2020-09-25 15:19:46 +02:00
2020-09-26 10:05:49 +00:00
2020-09-26 12:58:34 +02:00
2020-09-26 12:58:34 +02:00
2020-09-26 01:25:55 +02:00
2020-09-23 21:51:56 +02:00
2020-09-25 19:42:29 +02:00
2020-09-23 21:51:56 +02:00
2020-09-17 07:58:45 +02:00
2020-09-25 10:39:11 -07:00
2020-08-30 18:45:07 +03:00
2020-09-23 21:51:56 +02:00
2020-09-26 12:58:34 +02:00
2020-08-30 18:45:07 +03:00
2020-09-23 21:51:56 +02:00
2020-09-19 17:27:13 +02:00
2020-09-26 12:58:34 +02:00
2020-09-17 12:18:09 +02:00
2020-09-21 05:43:39 +02:00
2020-09-26 12:58:34 +02:00
2020-09-26 01:25:55 +02:00
2020-09-26 01:25:55 +02:00
2020-09-25 02:29:45 +02:00
2020-09-26 12:58:34 +02:00
2020-09-26 12:58:34 +02:00
2020-09-26 06:44:28 +00:00
2020-09-23 14:54:07 +02:00
2020-09-23 21:51:56 +02:00
2020-09-25 22:48:44 +01:00
2020-09-23 21:51:56 +02:00
2020-09-23 21:51:56 +02:00
2020-09-12 08:26:53 +02:00
2020-09-23 21:51:56 +02:00
2020-09-23 21:51:56 +02:00
2020-09-23 21:51:56 +02:00
2020-09-26 12:58:34 +02:00
2020-09-26 12:58:20 +02:00
2020-09-25 22:46:15 +01:00
2020-09-25 02:29:45 +02:00
2020-09-26 12:58:34 +02:00
2020-09-24 20:54:33 +02:00
2020-09-25 19:42:48 +02:00
2020-09-26 12:58:34 +02:00