]>
Commit | Line | Data |
---|---|---|
d9bb1a4e | 1 | // check-pass |
0bf4aa26 | 2 | #![allow(dead_code)] |
b039eaaf | 3 | use std::rc::Rc; |
85aaf69f | 4 | |
dc9dc135 | 5 | fn test1() -> Rc<dyn for<'a> Fn(&'a usize) + 'static> { |
b039eaaf SL |
6 | if let Some(_) = Some(1) { |
7 | loop{} | |
8 | } else { | |
9 | loop{} | |
10 | } | |
11 | } | |
223e47cc | 12 | |
dc9dc135 | 13 | fn test2() -> *mut (dyn for<'a> Fn(&'a usize) + 'static) { |
b039eaaf SL |
14 | if let Some(_) = Some(1) { |
15 | loop{} | |
16 | } else { | |
17 | loop{} | |
d9579d0f | 18 | } |
c34b1796 | 19 | } |
b039eaaf SL |
20 | |
21 | fn main() {} |