fix: Bump default CHALK_SOLVER_MAX_SIZE to 150

[lnicola]

Fixes #11072
Fixes #10673

[lnicola]

# 30
Database loaded:     1.18s, 284minstr (metadata 979.53ms, 23minstr; build 103.92ms, 8754kinstr)
  crates: 39, mods: 834, decls: 18887, fns: 14088
Item Collection:     9.76s, 79ginstr
  exprs: 387133, ??ty: 395 (0%), ?ty: 288 (0%), !ty: 146                                                                                                             
Inference:           48.36s, 373ginstr
Total:               58.12s, 453ginstr

# 40
Database loaded:     629.35ms, 284minstr (metadata 421.20ms, 23minstr; build 107.17ms, 8736kinstr)
  crates: 39, mods: 834, decls: 18887, fns: 14088
Item Collection:     9.96s, 79ginstr
  exprs: 387133, ??ty: 369 (0%), ?ty: 223 (0%), !ty: 146                                                                                                             
Inference:           47.67s, 375ginstr
Total:               57.62s, 455ginstr

# 100
Database loaded:     650.64ms, 284minstr (metadata 431.63ms, 23minstr; build 101.20ms, 8742kinstr)
  crates: 39, mods: 834, decls: 18887, fns: 14088
Item Collection:     9.59s, 79ginstr
  exprs: 387133, ??ty: 350 (0%), ?ty: 174 (0%), !ty: 147                                                                                                             
Inference:           46.05s, 360ginstr
Total:               55.63s, 439ginstr

# 150
Database loaded:     622.19ms, 284minstr (metadata 422.41ms, 23minstr; build 104.36ms, 8760kinstr)
  crates: 39, mods: 834, decls: 18887, fns: 14088
Item Collection:     9.72s, 79ginstr
  exprs: 387133, ??ty: 350 (0%), ?ty: 173 (0%), !ty: 147                                                                                                             
Inference:           45.91s, 361ginstr
Total:               55.63s, 440ginstr

# 200
Database loaded:     650.20ms, 284minstr (metadata 444.47ms, 23minstr; build 100.37ms, 8760kinstr)
  crates: 39, mods: 834, decls: 18887, fns: 14088
Item Collection:     9.64s, 79ginstr
  exprs: 387133, ??ty: 350 (0%), ?ty: 173 (0%), !ty: 147                                                                                                             
Inference:           48.24s, 378ginstr
Total:               57.88s, 458ginstr

Thanks to @flodiebold for figuring this out!

[lnicola]

bors r+

[bors]

Build succeeded:

• Rust (macos-latest)
• Rust (ubuntu-latest)
• Rust (windows-latest)
• TypeScript (ubuntu-latest)
• TypeScript (windows-latest)

[lnicola]

[TonalidadeHidrica]

Thanks for the fix!