blob: 6ed68f8033ccd17d87d6e289ee1eb51fdacc8cf0 (
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
|
enum Ast<'a> {
Num(usize),
Add(&'a Ast<'a>, &'a Ast<'a>)
}
fn build() {
let x = Ast::Num(3);
let y = Ast::Num(4);
let z = Ast::Add(&x, &y);
compute(&z);
}
fn compute(x: &Ast) -> usize {
match *x {
Ast::Num(x) => { x }
Ast::Add(x, y) => { compute(x) + compute(y) }
}
}
fn map_nums<'a,'b, F>(x: &Ast, f: &mut F) -> &'a Ast<'b> where F: FnMut(usize) -> usize {
match *x {
Ast::Num(x) => {
return &Ast::Num((*f)(x)); //~ ERROR cannot return reference to temporary value
}
Ast::Add(x, y) => {
let m_x = map_nums(x, f);
let m_y = map_nums(y, f);
return &Ast::Add(m_x, m_y); //~ ERROR cannot return reference to temporary value
}
}
}
fn main() {}
|