Auto merge of #1756 - RalfJung:getrandom, r=RalfJung

also test old getrandom

getrandom 0.1 is still in use, so let's make sure it also still works with Miri.

Author: bors

test-cargo-miri/Cargo.lock

@@ -16,7 +16,8 @@ issue_1705 = { path = "issue-1705" }
 
 [dev-dependencies]
 rand = { version = "0.8", features = ["small_rng"] }
-getrandom = { version = "0.2" }
+getrandom_1 = { package = "getrandom", version = "0.1" }
+getrandom_2 = { package = "getrandom", version = "0.2" }
 serde_derive = "1.0" # not actually used, but exercises some unique code path (`--extern` .so file)
 
 [lib]

test-cargo-miri/Cargo.toml

@@ -24,9 +24,10 @@ fn does_not_work_on_miri() {
 
 #[test]
 fn entropy_rng() {
-    // Test `getrandom` directly.
+    // Test `getrandom` directly (in multiple different versions).
     let mut data = vec![0; 16];
-    getrandom::getrandom(&mut data).unwrap();
+    getrandom_1::getrandom(&mut data).unwrap();
+    getrandom_2::getrandom(&mut data).unwrap();
 
     // Try seeding with "real" entropy.
     let mut rng = SmallRng::from_entropy();