--- /dev/null
+// Copyright 2013 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 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+pub trait Clone2 {
+ fn clone(&self) -> Self;
+}
+
+
+trait Getter<T: Clone2> {
+ fn get(&self) -> T;
+}
+
+impl Getter<int> for int { //~ ERROR failed to find an implementation of trait Clone2 for int
+ fn get(&self) -> int { *self }
+}
+
+fn main() { }
--- /dev/null
+// Copyright 2013 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 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+#[allow(default_methods)]
+trait Speak {
+ fn say(&self, s:&str) -> ~str;
+ fn hi(&self) -> ~str { hello(self) }
+}
+
+fn hello<S:Speak>(s:&S) -> ~str{
+ s.say("hello")
+}
+
+impl Speak for int {
+ fn say(&self, s:&str) -> ~str {
+ fmt!("%s: %d", s, *self)
+ }
+}
+
+impl<T: Speak> Speak for Option<T> {
+ fn say(&self, s:&str) -> ~str {
+ match *self {
+ None => fmt!("%s - none", s),
+ Some(ref x) => { ~"something!" + x.say(s) }
+ }
+ }
+}
+
+
+fn main() {
+ assert_eq!(3.hi(), ~"hello: 3");
+ assert_eq!(Some(Some(3)).hi(), ~"something!something!hello: 3");
+ assert_eq!(None::<int>.hi(), ~"hello - none");
+
+ // These fail because of a bug in monomorphization's ID generation.
+ //assert_eq!(Some(None::<int>).hi(), ~"something!hello - none");
+ //assert_eq!(Some(3).hi(), ~"something!hello: 3");
+}
--- /dev/null
+// Copyright 2013 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 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+pub trait Clone2 {
+ /// Returns a copy of the value. The contents of owned pointers
+ /// are copied to maintain uniqueness, while the contents of
+ /// managed pointers are not copied.
+ fn clone(&self) -> Self;
+}
+
+#[allow(default_methods)]
+trait Getter<T: Clone> {
+ fn do_get(&self) -> T;
+
+ fn do_get2(&self) -> (T, T) {
+ let x = self.do_get();
+ (x.clone(), x.clone())
+ }
+
+}
+
+impl Getter<int> for int {
+ fn do_get(&self) -> int { *self }
+}
+
+impl<T: Clone> Getter<T> for Option<T> {
+ fn do_get(&self) -> T { self.get_ref().clone() }
+}
+
+
+fn main() {
+ assert_eq!(3.do_get2(), (3, 3));
+ assert_eq!(Some(~"hi").do_get2(), (~"hi", ~"hi"));
+}