diff options
| author | Lindsey Kuper <lkuper@mozilla.com> | 2011-08-15 17:10:13 -0700 |
|---|---|---|
| committer | Lindsey Kuper <lkuper@mozilla.com> | 2011-08-15 17:10:13 -0700 |
| commit | d55048ec5cd40c1eafdd2f7fcee8d3b97697066f (patch) | |
| tree | 3db40a8502c5a02bc7c061c06098519d53415fb1 | |
| parent | 4ff6b6fc27f6f8b43e4595a0d06e7963e4322d3c (diff) | |
| download | rust-d55048ec5cd40c1eafdd2f7fcee8d3b97697066f.tar.gz rust-d55048ec5cd40c1eafdd2f7fcee8d3b97697066f.zip | |
Test case for issue #115.
| -rw-r--r-- | src/test/run-pass/interface-narrowing.rs | 19 |
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; +} |
