blob: 5fabf31cecd36ddc624dec0c46b1dc57310a9b18 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
// This is a non-regression test about differences in scopes computed by NLLs and `-Zpolonius=next`
// found during the crater run for PR #117593.
//
// Live loans were computed too early compared to some of the liveness data coming from later passes
// than `liveness::trace`, on some specific CFGs shapes: a variable was dead during tracing but its
// regions were marked live later, and live loans were not recomputed at this point.
// check-pass
// revisions: nll polonius
// [polonius] compile-flags: -Zpolonius=next
// minimized from wavefc-cli-3.0.0
fn repro1() {
let a = 0;
let closure = || {
let _b = a;
};
let callback = if true { Some(closure) } else { None };
do_it(callback);
}
fn do_it<F>(_: Option<F>)
where
F: Fn(),
{
}
// minimized from simple-server-0.4.0
fn repro2() {
let mut a = &();
let s = S(&mut a);
let _ = if true { Some(s) } else { None };
}
struct S<'a>(&'a mut &'a ());
// minimized from https://github.com/SHaaD94/AICup2022
fn repro3() {
let runner = ();
let writer = debug_interface(&runner);
let _ = if true { Some(writer) } else { None };
}
fn debug_interface(_: &()) -> &mut dyn std::io::Write {
unimplemented!()
}
fn main() {}
|
