rust-lang / rust-lang/rust

1.99 beta crater regression: overflow evaluating the requirement

Open
#161,916 9 comments 0 reactions 1 assignee View on GitHub

@jdonszelmann is already working on this.

Since Sep 1, 2026.

C-bug fixed-by-next-solver P-high regression-from-stable-to-beta S-has-bisection S-has-mcve T-types
Dominant language
Rust
Stars
119k
Forks
16.1k
PR merge metrics
PR metrics pending

Description

This regression was found by the 1.99 crater run.

[INFO] [stdout] error[E0275]: overflow evaluating the requirement `matrix::Matrix<matrix::Matrix<_, _, _>, _, _>: core::ops::Add<matrix::Matrix<_, _, _>>`
[INFO] [stdout]    --> src/matrix.rs:347:26
[INFO] [stdout]     |
[INFO] [stdout] 347 |         let mut result = Matrix::new();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`matrs`)
[INFO] [stdout] note: required for `matrix::Matrix<matrix::Matrix<matrix::Matrix<_, _, _>, _, _>, _, _>` to implement `core::ops::Add<matrix::Matrix<matrix::Matrix<_, _, _>, _, _>>`
[INFO] [stdout]    --> src/matrix.rs:216:7
[INFO] [stdout]     |
[INFO] [stdout] 212 |         T: CompliantNumerical + Add<TOther, Output = T>,
[INFO] [stdout]     |                                             ---------- unsatisfied trait bound introduced here
[INFO] [stdout] ...
[INFO] [stdout] 216 |     > Add<Matrix<TOther, ROWS, COLS>> for Matrix<T, ROWS, COLS>
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: 126 redundant requirements hidden
[INFO] [stdout]     = note: required for `Matrix<Matrix<Matrix<Matrix<_, _, _>, _, _>, _, _>, _, _>` to implement `Add<Matrix<Matrix<Matrix<Matrix<_, _, _>, _, _>, _, _>, _, _>>`
[INFO] [stdout] note: required by a bound in `MatrixInterface::new`
[INFO] [stdout]    --> src/traits.rs:85:5
[INFO] [stdout]     |
[INFO] [stdout]  85 |     Add<T>
[INFO] [stdout]     |     ^^^^^^ required by this bound in `MatrixInterface::new`
[INFO] [stdout] ...
[INFO] [stdout]  96 |     fn new() -> Self;
[INFO] [stdout]     |        --- required by a bound in this associated function
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/matrs-ff379938da94556c.long-type-4903951877788026595.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0275]: overflow evaluating the requirement `matrix::Matrix<matrix::Matrix<_, _, _>, _, _>: core::ops::Add<matrix::Matrix<_, _, _>>`
[INFO] [stdout]    --> src/lib.rs:74:26
[INFO] [stdout]     |
[INFO] [stdout]  74 |         let mut result = Matrix::new();
[INFO] [stdout]     |                          ^^^^^^^^^^^^^
[INFO] [stdout]     |
[INFO] [stdout]     = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`matrs`)
[INFO] [stdout] note: required for `matrix::Matrix<matrix::Matrix<matrix::Matrix<_, _, _>, _, _>, _, _>` to implement `core::ops::Add<matrix::Matrix<matrix::Matrix<_, _, _>, _, _>>`
[INFO] [stdout]    --> src/matrix.rs:216:7
[INFO] [stdout]     |
[INFO] [stdout] 212 |         T: CompliantNumerical + Add<TOther, Output = T>,
[INFO] [stdout]     |                                             ---------- unsatisfied trait bound introduced here
[INFO] [stdout] ...
[INFO] [stdout] 216 |     > Add<Matrix<TOther, ROWS, COLS>> for Matrix<T, ROWS, COLS>
[INFO] [stdout]     |       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]     = note: 126 redundant requirements hidden
[INFO] [stdout]     = note: required for `Matrix<Matrix<Matrix<Matrix<_, _, _>, _, _>, _, _>, _, _>` to implement `Add<Matrix<Matrix<Matrix<Matrix<_, _, _>, _, _>, _, _>, _, _>>`
[INFO] [stdout] note: required by a bound in `MatrixInterface::new`
[INFO] [stdout]    --> src/traits.rs:85:5
[INFO] [stdout]     |
[INFO] [stdout]  85 |     Add<T>
[INFO] [stdout]     |     ^^^^^^ required by this bound in `MatrixInterface::new`
[INFO] [stdout] ...
[INFO] [stdout]  96 |     fn new() -> Self;
[INFO] [stdout]     |        --- required by a bound in this associated function
[INFO] [stdout]     = note: the full name for the type has been written to '/opt/rustwide/target/debug/deps/matrs-ff379938da94556c.long-type-862771533300215836.txt'
[INFO] [stdout]     = note: consider using `--verbose` to print the full type name to the console
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0275`.

https://crater-reports.s3.amazonaws.com/beta-1.99-4/1.99.0-beta.1/gh/ivario123.matrix_math/log.txt

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.