error: use of deprecated function `rand::thread_rng`: renamed to `rng` --> src/ir/control_flow/path_condition/mod.rs:273:29 | 273 | let mut rng = rand::thread_rng(); | ^^^^^^^^^^ | = note: `-D deprecated` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(deprecated)]`

error[E0599]: the method `gen` exists for struct `ThreadRng`, but its trait bounds were not satisfied --> src/ir/control_flow/path_condition/mod.rs:279:32 | 279 | .map(|it| (it, rng.gen::<bool>())) | ^^^ method cannot be called on `ThreadRng` due to unsatisfied trait bounds | ::: /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/rand-0.9.0/src/rngs/thread.rs:94:1 | 94 | pub struct ThreadRng { | -------------------- doesn't satisfy `_: RngCore` or `rand::prelude::ThreadRng: proptest::prelude::Rng` | = note: the following trait bounds were not satisfied: `rand::prelude::ThreadRng: proptest::prelude::RngCore` which is required by `rand::prelude::ThreadRng: proptest::prelude::Rng` = help: items from traits can only be used if the trait is in scope help: trait `Rng` which provides `gen` is implemented but not in scope; perhaps you want to import it | 243 + use rand::Rng; |

Received a internal compiler error OR an unknown message type, view this in debug mode to view the payload

{ "rendered": "For more information about this error, try `rustc --explain E0599`.\n", "$message_type": "diagnostic", "children": [], "code": null, "level": "failure-note", "message": "For more information about this error, try `rustc --explain E0599`.", "spans": [] }

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636