user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update miri for change to random API

Browse source
This commit is contained in:
Josh Triplett 2025-07-11 11:13:47 -07:00
parent 5e203851f7
commit 900aa00584
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/tests/pass/shims/random.rs
View file

@ -1,5 +1,5 @@
#![feature(random)]
fn main() {
let _x: i32 = std::random::random();
let _x: i32 = std::random::random(..);
}