about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLindsey Kuper <lkuper@mozilla.com>2011-08-15 17:10:13 -0700
committerLindsey Kuper <lkuper@mozilla.com>2011-08-15 17:10:13 -0700
commitd55048ec5cd40c1eafdd2f7fcee8d3b97697066f (patch)
tree3db40a8502c5a02bc7c061c06098519d53415fb1
parent4ff6b6fc27f6f8b43e4595a0d06e7963e4322d3c (diff)
downloadrust-d55048ec5cd40c1eafdd2f7fcee8d3b97697066f.tar.gz
rust-d55048ec5cd40c1eafdd2f7fcee8d3b97697066f.zip
Test case for issue #115.
-rw-r--r--src/test/run-pass/interface-narrowing.rs19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/run-pass/interface-narrowing.rs b/src/test/run-pass/interface-narrowing.rs
new file mode 100644
index 00000000000..8aca8f2b21d
--- /dev/null
+++ b/src/test/run-pass/interface-narrowing.rs
@@ -0,0 +1,19 @@
+//xfail-stage1
+//xfail-stage2
+//xfail-stage3
+
+// Test case for issue #115.
+type base =
+  obj {
+    fn foo();
+  };
+
+obj derived() {
+  fn foo() {}
+  fn bar() {}
+}
+
+fn main() {
+  let d = derived();
+  let b:base = d as base;
+}