blob: de96aa17acd62798ca90df029fae725b24e03b66 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
LL| |// Regression test for issue #98833.
LL| |// compile-flags: -Zinline-mir -Cdebug-assertions=off
LL| |
LL| 1|fn main() {
LL| 1| println!("{}", live::<false>());
LL| 1|
LL| 1| let f = |x: bool| {
LL| | debug_assert!(
LL| 0| x
LL| | );
LL| 1| };
LL| 1| f(false);
LL| 1|}
LL| |
LL| |#[inline]
LL| 1|fn live<const B: bool>() -> u32 {
LL| 1| if B {
LL| 0| dead()
LL| | } else {
LL| 1| 0
LL| | }
LL| 1|}
LL| |
LL| |#[inline]
LL| 0|fn dead() -> u32 {
LL| 0| 42
LL| 0|}
|
