bors
a525c7ddba
Auto merge of #111928 - c410-f3r:dqewdas, r=eholk
[RFC-2011] Expand more expressions
cc #44838
Expands `if`, `let`, `match` and also makes `generic_assert_internals` an allowed feature when using `assert!`. `#![feature(generic_assert)]` is still needed to activate everything.
```rust
#![feature(generic_assert)]
fn fun(a: Option<i32>, b: Option<i32>, c: Option<i32>) {
assert!(
if a.is_some() { 1 } else { 2 } == 3
&& if let Some(elem) = b { elem == 4 } else { false }
&& match c { Some(_) => true, None => false }
);
}
fn main() {
fun(Some(1), None, Some(2));
}
// Assertion failed: assert!(
// if a.is_some() { 1 } else { 2 } == 3
// && if let Some(elem) = b { elem == 4 } else { false }
// && match c { Some(_) => true, None => false }
// );
//
// With captures:
// a = Some(1)
// b = None
// c = Some(2)
```
2023-05-27 07:02:48 +00:00
..
2023-05-16 17:59:56 +10:00
2023-05-25 16:59:57 +00:00
2023-05-26 03:31:04 +00:00
2023-05-25 23:49:35 +00:00
2023-05-25 23:49:35 +00:00
2023-05-26 06:20:21 +00:00
2023-05-27 07:02:48 +00:00
2023-05-25 13:58:02 -07:00
2023-05-25 23:49:35 +00:00
2023-05-25 23:49:35 +00:00
2023-05-26 08:24:07 +02:00
2023-05-26 03:31:04 +00:00
2023-05-25 08:01:08 +02:00
2023-05-25 23:49:35 +00:00
2023-05-26 03:31:04 +00:00
2023-05-25 23:49:35 +00:00
2023-05-24 14:33:43 +00:00
2023-05-24 14:20:41 +00:00
2023-05-26 16:01:29 +01:00
2023-05-27 01:27:01 +00:00
2023-05-25 23:49:35 +00:00
2023-05-25 00:33:43 +00:00
2023-05-26 06:20:21 +00:00
2023-05-25 23:49:35 +00:00
2023-05-15 18:33:12 +10:00
2023-05-27 00:23:57 +02:00
2023-05-18 01:35:41 +00:00
2023-05-18 09:45:12 +02:00
2023-05-25 23:49:35 +00:00
2023-05-26 16:01:29 +01:00
2023-05-26 08:24:09 +02:00
2023-05-25 23:49:35 +00:00
2023-05-26 03:31:04 +00:00
2023-05-26 08:24:07 +02:00
2023-05-25 23:49:35 +00:00
2023-05-25 23:49:35 +00:00
2023-05-25 23:49:35 +00:00
2023-05-21 11:25:07 +02:00
2023-05-25 23:49:35 +00:00
2023-05-26 03:31:04 +00:00
2023-05-15 08:59:11 +10:00
2023-05-25 23:49:35 +00:00
2023-05-25 16:43:14 +00:00
2023-05-24 14:20:41 +00:00
2023-05-26 08:24:07 +02:00
2023-05-27 00:24:00 +02:00
2023-05-25 17:29:22 +00:00
2023-05-25 23:49:35 +00:00