summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr')
-rw-r--r--tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr29
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr b/tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr
new file mode 100644
index 000000000..a3404da51
--- /dev/null
+++ b/tests/ui/traits/next-solver/cycles/double-cycle-inductive-coinductive.stderr
@@ -0,0 +1,29 @@
+error[E0275]: overflow evaluating the requirement `(): Trait`
+ --> $DIR/double-cycle-inductive-coinductive.rs:32:19
+ |
+LL | impls_trait::<()>();
+ | ^^
+ |
+ = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`double_cycle_inductive_coinductive`)
+note: required by a bound in `impls_trait`
+ --> $DIR/double-cycle-inductive-coinductive.rs:17:19
+ |
+LL | fn impls_trait<T: Trait>() {}
+ | ^^^^^ required by this bound in `impls_trait`
+
+error[E0275]: overflow evaluating the requirement `(): TraitRev`
+ --> $DIR/double-cycle-inductive-coinductive.rs:35:23
+ |
+LL | impls_trait_rev::<()>();
+ | ^^
+ |
+ = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`double_cycle_inductive_coinductive`)
+note: required by a bound in `impls_trait_rev`
+ --> $DIR/double-cycle-inductive-coinductive.rs:29:23
+ |
+LL | fn impls_trait_rev<T: TraitRev>() {}
+ | ^^^^^^^^ required by this bound in `impls_trait_rev`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0275`.