Feed the correct return type to the typechecker when typechecking objects, and add a testcase.

1 files changed, 16 insertions, 0 deletions

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() {}
+