diff --git a/test-cargo-miri/Cargo.lock b/test-cargo-miri/Cargo.lock index 84b69f57333e..63e03b37cca5 100644 --- a/test-cargo-miri/Cargo.lock +++ b/test-cargo-miri/Cargo.lock @@ -14,8 +14,8 @@ version = "0.1.0" dependencies = [ "byteorder", "issue_1567", + "issue_1691", "rand", - "rlib-dep", "serde_derive", ] @@ -52,6 +52,10 @@ dependencies = [ "byteorder", ] +[[package]] +name = "issue_1691" +version = "0.1.0" + [[package]] name = "libc" version = "0.2.81" @@ -143,10 +147,6 @@ dependencies = [ "rand_core", ] -[[package]] -name = "rlib-dep" -version = "0.1.0" - [[package]] name = "serde_derive" version = "1.0.118" diff --git a/test-cargo-miri/Cargo.toml b/test-cargo-miri/Cargo.toml index ab44f6b304a7..c42d6753e8e0 100644 --- a/test-cargo-miri/Cargo.toml +++ b/test-cargo-miri/Cargo.toml @@ -9,8 +9,8 @@ edition = "2018" [dependencies] byteorder = "1.0" -rlib-dep.path = "rlib-dep" -issue_1567 = { path ="issue-1567" } +issue_1567 = { path = "issue-1567" } +issue_1691 = { path = "issue-1691" } [dev-dependencies] rand = { version = "0.7", features = ["small_rng"] } diff --git a/test-cargo-miri/rlib-dep/Cargo.toml b/test-cargo-miri/issue-1691/Cargo.toml similarity index 83% rename from test-cargo-miri/rlib-dep/Cargo.toml rename to test-cargo-miri/issue-1691/Cargo.toml index c12653e9c839..3100cc6a60b5 100644 --- a/test-cargo-miri/rlib-dep/Cargo.toml +++ b/test-cargo-miri/issue-1691/Cargo.toml @@ -1,5 +1,5 @@ [package] -name = "rlib-dep" +name = "issue_1691" version = "0.1.0" authors = ["Miri Team"] edition = "2018" diff --git a/test-cargo-miri/rlib-dep/src/lib.rs b/test-cargo-miri/issue-1691/src/lib.rs similarity index 100% rename from test-cargo-miri/rlib-dep/src/lib.rs rename to test-cargo-miri/issue-1691/src/lib.rs diff --git a/test-cargo-miri/src/lib.rs b/test-cargo-miri/src/lib.rs index 46d76bce1277..b50dfbe51eb3 100644 --- a/test-cargo-miri/src/lib.rs +++ b/test-cargo-miri/src/lib.rs @@ -3,5 +3,5 @@ /// assert!(cargo_miri_test::make_true()); /// ``` pub fn make_true() -> bool { - rlib_dep::use_me() + issue_1691::use_me() }