Skip to content

New overflow error while compiling wundergraph #104322

@weiznich

Description

@weiznich

Code

I tried this code:

git clone https://github.com/weiznich/wundergraph cd wundergraph git checkout 5752de6 cd wundergraph # That one is important as well cargo +stable check 

I expected to see this happen: Code compiles, is it does with rust 1.64
Instead, this happened: Compiler emits new overflow error

error[E0275]: overflow evaluating the requirement `<R as HasTable>::Table` --> wundergraph/src/query_builder/mutations/delete.rs:35:15 | 35 | R::Table: HandleDelete<R, D, DB, Ctx> + 'static, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`wundergraph`) = note: required for `<<R as HasTable>::Table as AsQuery>::Query` to implement `FilterDsl<_>` note: required for `<R as HasTable>::Table` to implement `HandleDelete<R, D, DB, Ctx>` --> wundergraph/src/query_builder/mutations/delete.rs:69:24 | 69 | impl<L, K, DB, Ctx, T> HandleDelete<L, K, DB, Ctx> for T | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^ error[E0275]: overflow evaluating the requirement `<Self as AsQuery>::Query` | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`wundergraph`) = note: required for `Self` to implement `FilterDsl<_>` note: required for `Self` to implement `HandleDelete<L, K, DB, Ctx>` --> wundergraph/src/query_builder/mutations/delete.rs:69:24 | 69 | impl<L, K, DB, Ctx, T> HandleDelete<L, K, DB, Ctx> for T | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^ error[E0275]: overflow evaluating the requirement `<R as HasTable>::Table` --> wundergraph/src/query_builder/mutations/update.rs:30:15 | 30 | R::Table: HandleUpdate<R, U, DB, Ctx> + 'static, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`wundergraph`) = note: required for `<<R as HasTable>::Table as AsQuery>::Query` to implement `FilterDsl<_>` note: required for `<R as HasTable>::Table` to implement `HandleUpdate<R, U, DB, Ctx>` --> wundergraph/src/query_builder/mutations/update.rs:68:24 | 68 | impl<L, U, DB, Ctx, T> HandleUpdate<L, U, DB, Ctx> for T | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^ error[E0275]: overflow evaluating the requirement `<Self as AsQuery>::Query` | = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`wundergraph`) = note: required for `Self` to implement `FilterDsl<_>` note: required for `Self` to implement `HandleUpdate<L, U, DB, Ctx>` --> wundergraph/src/query_builder/mutations/update.rs:68:24 | 68 | impl<L, U, DB, Ctx, T> HandleUpdate<L, U, DB, Ctx> for T | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^ For more information about this error, try `rustc --explain E0275`. error: could not compile `wundergraph` due to 4 previous errors 

Version it worked on

It most recently worked on: 1.64

Version with regression

rustc --version --verbose:

rustc 1.65.0 (897e37553 2022-11-02) binary: rustc commit-hash: 897e37553bba8b42751c67658967889d11ecd120 commit-date: 2022-11-02 host: x86_64-unknown-linux-gnu release: 1.65.0 LLVM version: 15.0.0 

@rustbot modify labels: +regression-from-stable-to-stable -regression-untriaged

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-bugCategory: This is a bug.P-highHigh priorityT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.regression-from-stable-to-stablePerformance or correctness regression from one stable version to another.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions