[WIP] change overflow to be non-fatal

[lcnr]

want to open a PR to make it easier to review the current changes. This is not yet ready for review.

r? @ghost

[rust-log-analyzer]

The job x86_64-gnu-llvm-13 failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

   Compiling rustc_fs_util v0.0.0 (/checkout/compiler/rustc_fs_util)
   Compiling either v1.6.0
   Compiling datafrog v2.0.1
   Compiling rustc_apfloat v0.0.0 (/checkout/compiler/rustc_apfloat)
error[E0275]: overflow evaluating the requirement `<int::PInt<U> as Mul<_>>::Output`
   --> /cargo/registry/src/github.com-1ecc6299db9ec823/typenum-1.12.0/src/array.rs:210:25
    |
210 |             first: self * rhs.first,
    |
    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`typenum`)


error[E0275]: overflow evaluating the requirement `<int::NInt<U> as Mul<_>>::Output`
   --> /cargo/registry/src/github.com-1ecc6299db9ec823/typenum-1.12.0/src/array.rs:225:25
    |
225 |             first: self * rhs.first,
    |
    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`typenum`)

For more information about this error, try `rustc --explain E0275`.

[bors]

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

[lcnr]

decided after the t-types meetup that we will not try to modify evaluate in place but instead replace it with a solver with a newly written skeleton. Closing this.