From d55048ec5cd40c1eafdd2f7fcee8d3b97697066f Mon Sep 17 00:00:00 2001 From: Lindsey Kuper Date: Mon, 15 Aug 2011 17:10:13 -0700 Subject: [PATCH] Test case for issue #115. --- src/test/run-pass/interface-narrowing.rs | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/test/run-pass/interface-narrowing.rs diff --git a/src/test/run-pass/interface-narrowing.rs b/src/test/run-pass/interface-narrowing.rs new file mode 100644 index 000000000000..8aca8f2b21df --- /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; +}