---

yaml
---
r: 15402
b: refs/heads/try
c: 0094ffd
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: e0f2341da1eeb84584a04dbf3ac908b344b0dce4
+refs/heads/try: 0094ffd99b09f2fc8c639df28b12e10211cff6ce
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/test/auxiliary/crateresolve5-1.rs

@@ -7,4 +7,10 @@ fn structural() -> { name: str, val: int } {
     { name: "crateresolve5", val: 10 }
 }
 
+enum e {
+    e_val
+}
+
+fn nominal() -> e { e_val }
+
 fn f() -> int { 10 }

branches/try/src/test/auxiliary/crateresolve5-2.rs

@@ -7,4 +7,10 @@ fn structural() -> { name: str, val: int } {
     { name: "crateresolve5", val: 10 }
 }
 
+enum e {
+    e_val
+}
+
+fn nominal() -> e { e_val }
+
 fn f() -> int { 20 }

branches/try/src/test/compile-fail/crateresolve5.rs

@@ -0,0 +1,12 @@
+// xfail-fast
+// aux-build:crateresolve5-1.rs
+// aux-build:crateresolve5-2.rs
+// error-pattern:mismatched types
+
+use cr5_1 (name = "crateresolve5", vers = "0.1");
+use cr5_2 (name = "crateresolve5", vers = "0.2");
+
+fn main() {
+    // Nominal types from two multiple versions of a crate are different types
+    assert cr5_1::nominal() == cr5_2::nominal();
+}