rem-extract 0.1.5

Providing extract method capability for the REM toolchain
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
struct Struct<T: Into<i32>>(T);
impl<T: Into<i32> + Copy> Struct<T> {
    fn func<V: Into<i32>>(&self, v: V) -> i32 {
        let t = self.0;
        fun_name(t, v)
    }
}

fn fun_name<T: Into<i32> + Copy, V: Into<i32>>(t: T, v: V) -> i32 {
    t.into() + v.into()
}

fn main() {}