bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

add and move trait solver cycle tests

Browse source
This commit is contained in:
lcnr 2023-08-10 12:56:53 +02:00
parent d558353f28
commit 02529d2cbe
21 changed files with 215 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

20
tests/ui/traits/new-solver/overflow/recursive-self-normalization.stderr Normal file
View file

@ -0,0 +1,20 @@
error[E0275]: overflow evaluating the requirement `<T as Foo>::Assoc: Bar`
--> $DIR/recursive-self-normalization.rs:12:5
|
LL | needs_bar::<T::Assoc>();
| ^^^^^^^^^^^^^^^^^^^^^
|
= help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`recursive_self_normalization`)
note: required by a bound in `needs_bar`
--> $DIR/recursive-self-normalization.rs:9:17
|
LL | fn needs_bar<S: Bar>() {}
| ^^^ required by this bound in `needs_bar`
error[E0275]: overflow evaluating the requirement `<T as Foo>::Assoc`
|
= help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`recursive_self_normalization`)
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0275`.