Rustc pull update#2240

Merged

JohnTitor merged 22 commits intomasterfrom

Feb 3, 2025

Commits on Jan 28, 2025

Commits on Jan 29, 2025

Merge pull request #4122 from tiif/fnabi
RalfJung
authored

Commits on Jan 30, 2025

Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4163 from rust-lang/rustup-2025-01-30
oli-obk
authored
Merge pull request #4140 from geetanshjuneja/deref
RalfJung
authored

Commits on Jan 31, 2025

Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4166 from rust-lang/rustup-2025-01-31
oli-obk
authored

Commits on Feb 1, 2025

Merge from rustc
The Miri Cronjob Bot
committed
Merge pull request #4169 from rust-lang/rustup-2025-02-01
saethlin
authored

Commits on Feb 2, 2025

Commits on Feb 3, 2025

Preparing for merge from rustc
The rustc-dev-guide Cronjob Bot
committed
Merge from rustc
The rustc-dev-guide Cronjob Bot
committed