From 9340fd5ce0d7bd0f1bbfbda73944920bcc1364eb Mon Sep 17 00:00:00 2001
From: Michael Sullivan <sully@msully.net>
Date: Fri, 28 Jun 2013 17:47:44 -0700
Subject: [PATCH] Add tests for some default method things.

---
 src/test/compile-fail/impl-bounds-checking.rs | 24 ++++++++++
 src/test/run-pass/bug-7183-generics.rs        | 45 +++++++++++++++++++
 .../run-pass/trait-with-bounds-default.rs     | 41 +++++++++++++++++
 3 files changed, 110 insertions(+)
 create mode 100644 src/test/compile-fail/impl-bounds-checking.rs
 create mode 100644 src/test/run-pass/bug-7183-generics.rs
 create mode 100644 src/test/run-pass/trait-with-bounds-default.rs

diff --git a/src/test/compile-fail/impl-bounds-checking.rs b/src/test/compile-fail/impl-bounds-checking.rs
new file mode 100644
index 000000000000..00c415a860d4
--- /dev/null
+++ b/src/test/compile-fail/impl-bounds-checking.rs
@@ -0,0 +1,24 @@
+// 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() { }
diff --git a/src/test/run-pass/bug-7183-generics.rs b/src/test/run-pass/bug-7183-generics.rs
new file mode 100644
index 000000000000..4fc5587e7f36
--- /dev/null
+++ b/src/test/run-pass/bug-7183-generics.rs
@@ -0,0 +1,45 @@
+// 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");
+}
diff --git a/src/test/run-pass/trait-with-bounds-default.rs b/src/test/run-pass/trait-with-bounds-default.rs
new file mode 100644
index 000000000000..b3ddbbb9dc11
--- /dev/null
+++ b/src/test/run-pass/trait-with-bounds-default.rs
@@ -0,0 +1,41 @@
+// 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"));
+}