Auto merge of #1708 - RalfJung:issue-1567-test, r=RalfJung

add regression test for #1567

Adds a regression test for #1567.

Author: bors

test-cargo-miri/Cargo.lock

@@ -1,5 +1,5 @@
 [workspace]
-members = ["subcrate"]
+members = ["subcrate", "issue-1567"]
 
 [package]
 name = "cargo-miri-test"
@@ -9,6 +9,7 @@ edition = "2018"
 
 [dependencies]
 byteorder = "1.0"
+issue_1567 = { path ="issue-1567" }
 
 [dev-dependencies]
 rand = { version = "0.7", features = ["small_rng"] }

test-cargo-miri/Cargo.toml

@@ -0,0 +1,13 @@
+[package]
+name = "issue_1567"
+version = "0.1.0"
+authors = ["Miri Team"]
+edition = "2018"
+
+[lib]
+# Regression test for https://github.com/rust-lang/miri/issues/1567: crate must have this crate-type set.
+# It must also depend on some other crate and use that dependency (we use byteorder).
+crate-type = ["cdylib", "rlib"]
+
+[dependencies]
+byteorder = "1.0"

test-cargo-miri/issue-1567/Cargo.toml

@@ -0,0 +1,5 @@
+use byteorder::{BigEndian, ByteOrder};
+
+pub fn use_the_dependency() {
+    let _n = <BigEndian as ByteOrder>::read_u32(&[1,2,3,4]);
+}