add regression test for #1567

test-cargo-miri/Cargo.lock

@@ -11,6 +11,7 @@ name = "cargo-miri-test"
 version = "0.1.0"
 dependencies = [
  "byteorder",
+ "issue_1567",
  "rand",
  "serde_derive",
 ]
@@ -41,6 +42,13 @@ dependencies = [
  "libc",
 ]
 
+[[package]]
+name = "issue_1567"
+version = "0.1.0"
+dependencies = [
+ "byteorder",
+]
+
 [[package]]
 name = "libc"
 version = "0.2.81"

test-cargo-miri/Cargo.toml

@@ -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/issue-1567/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/src/lib.rs

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