Rollup of 3 pull requests - #157648

Closed

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