`-Znext-solver=coherence`: suggest increasing recursion limit by lcnr · Pull Request #121497

`-Znext-solver=coherence`: suggest increasing recursion limit by lcnr · Pull Request #121497 · rust-lang/rust

Status: This is awaiting some action (such as code changes or more information) from the author.

Status: Awaiting review from the assignee but also interested parties.

labels

Feb 28, 2024

also change the number of allowed fixpoint steps to be fixed instead
of using the `log` of the total recursion depth.

bors added S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-author

Status: This is awaiting some action (such as code changes or more information) from the author.

labels

Mar 1, 2024

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 2, 2024

…iaskrgr

Rollup of 11 pull requests

Successful merges:

 - rust-lang#111505 (Made `INVALID_DOC_ATTRIBUTES` lint deny by default)
 - rust-lang#120305 (Delete line if suggestion would replace it with an empty line)
 - rust-lang#121153 (Suggest removing superfluous semicolon when statements used as expression)
 - rust-lang#121497 (`-Znext-solver=coherence`: suggest increasing recursion limit)
 - rust-lang#121634 (Clarify behavior of slice prefix/suffix operations in case of equality)
 - rust-lang#121706 (match lowering: Remove hacky branch in sort_candidate)
 - rust-lang#121730 (Add profiling support to AIX)
 - rust-lang#121750 (match lowering: Separate the `bool` case from other integers in `TestKind`)
 - rust-lang#121803 (Never say "`Trait` is implemented for `{type error}`")
 - rust-lang#121811 (Move sanitizer ui tests to sanitizer directory)
 - rust-lang#121824 (Implement missing ABI structures in StableMIR)

r? `@ghost`
`@rustbot` modify labels: rollup

rust-timer added a commit to rust-lang-ci/rust that referenced this pull request

Mar 2, 2024

Rollup merge of rust-lang#121497 - lcnr:coherence-suggest-increasing-recursion-limit, r=compiler-errors

`-Znext-solver=coherence`: suggest increasing recursion limit

r? `@compiler-errors`

lcnr deleted the coherence-suggest-increasing-recursion-limit branch

March 4, 2024 09:24