Auto merge of #123594 - Urgau:fix-non_local_def-lint-overflow, r=lcnr

Fix trait solver overflow with `non_local_definitions` lint

This PR fixes the trait solver overflow with the `non_local_definitions` lint reported in rust-lang/rust#123573 using the suggestion from `@lcnr:` rust-lang/rust#123573 (comment) to use the next trait solver.

~~I have not (yet) tried to create a minimized repro~~ ``@compiler-errors`` did the minimization (thanks you) but I have manually tested on the `starlark-rust` project that it fixes the issue.

Fixes #123573
r? `@lcnr`