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; +}