trait system refactor ping: also apply to nested modules of `solve`#113682

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

lcnr:toml-filelcnr/rust:toml-fileCopy head branch name to clipboard