Repository navigation

Rollup of 3 pull requests - #157648

Closed

jhpratt wants to merge 10 commits into

rust-lang:mainfrom

jhpratt:rollup-zhk0i2O

Closed

Rollup of 3 pull requests#157648
jhpratt wants to merge 10 commits into
rust-lang:mainfrom
jhpratt:rollup-zhk0i2O

Commits on Jun 5, 2026
- fix improper ctypes in Znext solver
  rajgandhi1
  committed
  dc14afd
- constructs a TypingEnv with TypingMode::Borrowck now
  rajgandhi1
  committed
  9140c6c
- Disable `tests/debuginfo/pretty-std.rs` `OsString` cdb check
  jieyouxu
  committed
  d5435fc
Commits on Jun 8, 2026
- change comment
  rajgandhi1
  committed
  79df01a
- add comments to justify skip normalization
  rajgandhi1
  committed
  c28609f
Commits on Jun 9, 2026