1 files changed, 36 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-13507-2.rs b/src/test/ui/issues/issue-13507-2.rs
new file mode 100644
index 000000000..63f3589c6
--- /dev/null
+++ b/src/test/ui/issues/issue-13507-2.rs
@@ -0,0 +1,36 @@
+// run-pass
+#![allow(unused_imports)]
+// aux-build:issue-13507.rs
+
+extern crate issue_13507;
+use issue_13507::testtypes;
+
+use std::any::TypeId;
+
+pub fn type_ids() -> Vec<TypeId> {
+    use issue_13507::testtypes::*;
+    vec![
+        TypeId::of::<FooBool>(),
+        TypeId::of::<FooInt>(),
+        TypeId::of::<FooUint>(),
+        TypeId::of::<FooFloat>(),
+        TypeId::of::<FooStr>(),
+        TypeId::of::<FooArray>(),
+        TypeId::of::<FooSlice>(),
+        TypeId::of::<FooBox>(),
+        TypeId::of::<FooPtr>(),
+        TypeId::of::<FooRef>(),
+        TypeId::of::<FooFnPtr>(),
+        TypeId::of::<FooNil>(),
+        TypeId::of::<FooTuple>(),
+        TypeId::of::<dyn FooTrait>(),
+        TypeId::of::<FooStruct>(),
+        TypeId::of::<FooEnum>()
+    ]
+}
+
+pub fn main() {
+    let othercrate = issue_13507::testtypes::type_ids();
+    let thiscrate = type_ids();
+    assert_eq!(thiscrate, othercrate);
+}