// Copyright 2012 The Rust Project Developers. See the COPYRIGHT // file at the top-level directory of this distribution and at // http://rust-lang.org/COPYRIGHT. // // Licensed under the Apache License, Version 2.0 or the MIT license // , at your // option. This file may not be copied, modified, or distributed // except according to those terms. trait Panda { fn chomp(bamboo: &T) -> T; } trait Add: Panda { fn add(rhs: &RHS) -> Result; } trait MyNum : Add { } struct MyInt { val: int } impl Panda for MyInt { fn chomp(bamboo: &MyInt) -> MyInt { mi(self.val + bamboo.val) } } impl Add for MyInt { fn add(other: &MyInt) -> MyInt { self.chomp(other) } } impl MyInt : MyNum; fn f(x: T, y: T) -> T { return x.add(&y).chomp(&y); } fn mi(v: int) -> MyInt { MyInt { val: v } } pub fn main() { let (x, y) = (mi(3), mi(5)); let z = f(x, y); assert z.val == 13; }