Reduce default CHALK_SOLVER_MAX_SIZE to 100

[ivan]

This fixes #11370. Please see the investigation in #11370 (comment).

CHALK_SOLVER_MAX_SIZE needs to be high enough to deduce types (see #11072), but not so high as to cause "server panicked: overflow depth reached" (#11370)

[jhgg]

Keeping the max size the same but increasing the max depth did not solve your problem?

[ivan]

That's right. With the test repo in #11370 (comment) and

export CHALK_SOLVER_MAX_SIZE=150
export CHALK_OVERFLOW_DEPTH=30000

I still see these errors from rust-analyzer:

• "Request textDocument/semanticTokens/full failed."
• "Request textDocument/codeLens failed."
• "The Rust Analyzer Language Server server crashed 5 times in the last 3 minutes. The server will not be restarted. See the output for more information."

[bors]

☔ The latest upstream changes (presumably #12118) made this pull request unmergeable. Please resolve the merge conflicts.

[bors]

☔ The latest upstream changes (presumably #12281) made this pull request unmergeable. Please resolve the merge conflicts.

[lnicola]

I've increased CHALK_OVERFLOW_DEPTH in #12281, that seems to fix the problem in most cases. The logic being that by the increased CHALK_SOLVER_MAX_SIZE needs an increased CHALK_OVERFLOW_DEPTH to be able to make progress.