tests/ui/traits/new-solver/alias-bound-unsound.stderr

   1 error[E0275]: overflow evaluating the requirement `<() as Foo>::Item: Copy`
   2   --> $DIR/alias-bound-unsound.rs:18:17
   3    |
   4 LL |     type Item = String where String: Copy;
   5    |                 ^^^^^^
   6    |
   7    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
   8 note: required by a bound in `Foo::Item`
   9   --> $DIR/alias-bound-unsound.rs:8:16
  10    |
  11 LL |     type Item: Copy
  12    |                ^^^^ required by this bound in `Foo::Item`
  13
  14 error[E0275]: overflow evaluating the requirement `String <: <() as Foo>::Item`
  15   --> $DIR/alias-bound-unsound.rs:24:31
  16    |
  17 LL |     drop(<() as Foo>::copy_me(&x));
  18    |                               ^^
  19    |
  20    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
  21
  22 error[E0275]: overflow evaluating the requirement `<() as Foo>::Item == _`
  23   --> $DIR/alias-bound-unsound.rs:24:10
  24    |
  25 LL |     drop(<() as Foo>::copy_me(&x));
  26    |          ^^^^^^^^^^^^^^^^^^^^^^^^
  27    |
  28    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
  29
  30 error[E0275]: overflow evaluating the requirement `<() as Foo>::Item: Sized`
  31   --> $DIR/alias-bound-unsound.rs:24:10
  32    |
  33 LL |     drop(<() as Foo>::copy_me(&x));
  34    |          ^^^^^^^^^^^^^^^^^^^^
  35    |
  36    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
  37    = note: the return type of a function must have a statically known size
  38
  39 error[E0275]: overflow evaluating the requirement `&<() as Foo>::Item well-formed`
  40   --> $DIR/alias-bound-unsound.rs:24:31
  41    |
  42 LL |     drop(<() as Foo>::copy_me(&x));
  43    |                               ^^
  44    |
  45    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
  46
  47 error[E0275]: overflow evaluating the requirement `<() as Foo>::Item well-formed`
  48   --> $DIR/alias-bound-unsound.rs:24:10
  49    |
  50 LL |     drop(<() as Foo>::copy_me(&x));
  51    |          ^^^^^^^^^^^^^^^^^^^^^^^^
  52    |
  53    = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`alias_bound_unsound`)
  54
  55 error: aborting due to 6 previous errors
  56
  57 For more information about this error, try `rustc --explain E0275`.