]>
Commit | Line | Data |
---|---|---|
85aaf69f | 1 | struct Invariant<'a> { |
dc9dc135 | 2 | f: Box<dyn FnOnce() -> *mut &'a isize + 'static>, |
223e47cc LB |
3 | } |
4 | ||
85aaf69f SL |
5 | fn to_same_lifetime<'r>(b_isize: Invariant<'r>) { |
6 | let bj: Invariant<'r> = b_isize; | |
223e47cc LB |
7 | } |
8 | ||
85aaf69f | 9 | fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> { |
04454e1e | 10 | b_isize |
923072b8 | 11 | //~^ ERROR lifetime may not live long enough |
223e47cc LB |
12 | } |
13 | ||
14 | fn main() { | |
15 | } |