Point.rs

use std::ops::Add;

struct Point<T, U> { x: T, y: U }

impl<T : Add<Output=T>> Point<T, T> {
    fn f(self) -> T { self.x + self.y }
}

fn main() {
    Point { x: 1, y: 2.0 }.f();

    //  error[E0599]: no method named `f` found for type `Point<{integer}, {float}>` in the current scope
    //    --> src\main.rs:10:28
    //     |
    //  10 |     Point { x: 1, y: 2.0 }.f();
    //     |                            ^
}