Add some tests of tag-export interaction

1 files changed, 17 insertions, 0 deletions

diff --git a/src/test/compile-fail/export-no-tag-variants.rs b/src/test/compile-fail/export-no-tag-variants.rs
new file mode 100644
index 00000000..69799802
--- /dev/null
+++ b/src/test/compile-fail/export-no-tag-variants.rs
@@ -0,0 +1,17 @@
+// xfail-boot
+// error-pattern: unresolved name
+
+// Tag variants are not exported with their tags. This allows for a
+// simple sort of ADT.
+
+mod foo {
+  export t;
+
+  tag t {
+    t1;
+  }
+}
+
+fn main() {
+  auto x = foo.t1;
+}