c2rust-refactor 0.15.0

C2Rust refactoring tool implementation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

#![feature(type_ascription)]

struct S<T>(T);

impl S<(i32, S<Option<i32>>)> {
    fn f(self) {}
}

fn g() {}

fn main() {
    let s = S((0, S(None)));
    let x = s.f();
    let f = S::f;
    let s = S((1, S(Some(2))));

    let mut v = Vec::new();
    v.push(123);
    let f = Vec::pop;
    f(&mut v);
    Vec::drain(&mut v, ..);

}