Rust: Generalize more models - #20702

Merged

geoffw0 merged 10 commits into

github:mainfrom

Oct 29, 2025

Commits on Oct 27, 2025

Rust: Generalize some std::io::Read models.
geoffw0
committed
d650ccb
Rust: Generalize a model of alloc::boxed::Box.
geoffw0
committed
c8b8046
Rust: Generalize a model of futures_io...poll_read.
geoffw0
committed
bd11873
Rust: Generalize more models.
geoffw0
committed
56811d0
Rust: Accept regressions spotted by CI.
geoffw0
committed
a468b1d
Revert "Rust: Generalize more models."
geoffw0
committed
0c92b33
Rust: Accept tests repaired.
geoffw0
committed
03204b7
Rust: Remove redundant model.
geoffw0
committed
b76f27d

Commits on Oct 28, 2025

Rust: Remove more redundant models.
geoffw0
committed
abcc171
Merge branch 'main' into gen2
geoffw0
committed
d6c4ab2