From 8b00ab1a488ae3461b6eafdd83e6738599de157f Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Fri, 16 Jul 2010 14:54:47 -0700
Subject: Feed the correct return type to the typechecker when typechecking
 objects, and add a testcase.

---
 src/test/run-pass/obj-return-polytypes.rs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/test/run-pass/obj-return-polytypes.rs

(limited to 'src/test')

diff --git a/src/test/run-pass/obj-return-polytypes.rs b/src/test/run-pass/obj-return-polytypes.rs
new file mode 100644
index 00000000..78897d7e
--- /dev/null
+++ b/src/test/run-pass/obj-return-polytypes.rs
@@ -0,0 +1,16 @@
+// -*- rust -*-
+
+type clam[T] = tag(signed(int), unsigned(uint));
+
+fn getclam[T]() -> clam[T] {
+  ret signed[T](42);
+}
+
+obj impatience[T]() {
+  fn moreclam() -> clam[T] {
+    be getclam[T]();
+  }
+}
+
+fn main() {}
+
-- 
cgit v1.2.3