diff options
Diffstat (limited to 'src/test/ui/traits/inheritance/subst.rs')
-rw-r--r-- | src/test/ui/traits/inheritance/subst.rs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/traits/inheritance/subst.rs b/src/test/ui/traits/inheritance/subst.rs new file mode 100644 index 000000000..b2b650366 --- /dev/null +++ b/src/test/ui/traits/inheritance/subst.rs @@ -0,0 +1,27 @@ +// run-pass + +pub trait Add<RHS,Result> { + fn add(&self, rhs: &RHS) -> Result; +} + +trait MyNum : Sized + Add<Self,Self> { } + +struct MyInt { val: isize } + +impl Add<MyInt, MyInt> for MyInt { + fn add(&self, other: &MyInt) -> MyInt { mi(self.val + other.val) } +} + +impl MyNum for MyInt {} + +fn f<T:MyNum>(x: T, y: T) -> T { + return x.add(&y); +} + +fn mi(v: isize) -> MyInt { MyInt { val: v } } + +pub fn main() { + let (x, y) = (mi(3), mi(5)); + let z = f(x, y); + assert_eq!(z.val, 8) +} |