next-solver 2025h2#318

lcnr wants to merge 3 commits intorust-lang:mainrust-lang/rust-project-goals:mainfrom

lcnr:next-solver-contlcnr/rust-project-goals:next-solver-contCopy head branch name to clipboard