Repository navigation
nightly-2024-04-05 regression: error[E0275]: overflow evaluating the requirement #123573
Description
Activity
- changed the title
[-]nightly-2024-04-05: error[E0275]: overflow evaluating the requirement[/-][+]nightly-2024-04-05 regression: error[E0275]: overflow evaluating the requirement[/+]on Apr 6, 2024 This is also affecting
diesel:error[E0275]: overflow evaluating the requirement `(&_, &_, &_, ..., ..., ...): diesel::Insertable<...>` | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`rust_out`) = note: required for `&(_, _, _, _, _, _)` to implement `diesel::Insertable<table>` = note: 127 redundant requirements hidden = note: required for `(&((..., ..., ..., ..., ..., ...), ..., ..., ..., ..., ...), ..., ..., ..., ..., ...)` to implement `diesel::Insertable<table>` = note: the full name for the type has been written to '/tmp/rustdoctestmnF1pz/rust_out.long-type-2635572469679000095.txt' = note: consider using `--verbose` to print the full type name to the console error: aborting due to 1 previous error; 1 warning emitted For more information about this error, try `rustc --explain E0275`. Couldn't compile the test. failures: contrib/db_pools/lib/src/diesel.rs - diesel (line 26)
overflow is fatal in the old trait solver, so by proving additional goals, especially if they have inference variables, we can end up with new sources of overflow causing an error.
the most straightforward fix is to use the new solver for this lint 😁 given that the lint uses an empty environment it uses pretty much the same parts of the solver as coherence so it should already be ready for that
WG-prioritization assigning priority (Zulip discussion).
@rustbot label -I-prioritize +P-high
I have a somewhat minimal repro, it has a lot of deps (via bevy) but not much code:
example.zipuse bevy::{gltf::GltfMesh, prelude::*}; fn main() { App::new().add_plugins(DefaultPlugins).run(); } fn parse(gltf_meshes: Res<Assets<GltfMesh>>) { for (transform, aabb) in &gltf_meshes {} }Where
gltf_meshesis not something (I think) that can be decomposed into a tuple.- added a commit that references this issue
on Apr 23, 2024 - added a commit that references this issue
on Apr 27, 2024
Code
Sorry, I don't have simple code to reproduce the issue, because the project is large.
The repro is this:
Contents of the mentioned file is:
I tried increasing
#![recursion_limit = "256"], did not help.Version it worked on
Also works on stable.
Version with regression
This may be duplicate of #123493 because timing.