src/test/ui/traits/inductive-overflow/lifetime.stderr

   1 error[E0275]: overflow evaluating the requirement `Box<X<C<'_>>>: NotAuto`
   2   --> $DIR/lifetime.rs:27:5
   3    |
   4 LL | fn is_send<S: NotAuto>() {}
   5    |               ------- required by this bound in `is_send`
   6 ...
   7 LL |     is_send::<X<C<'static>>>();
   8    |     ^^^^^^^^^^^^^^^^^^^^^^^^
   9    |
  10 note: required because of the requirements on the impl of `NotAuto` for `X<C<'_>>`
  11   --> $DIR/lifetime.rs:19:12
  12    |
  13 LL | impl<T: Y> NotAuto for X<T> where T::P: NotAuto {}
  14    |            ^^^^^^^     ^^^^
  15    = note: 2 redundant requirements hidden
  16    = note: required because of the requirements on the impl of `NotAuto` for `X<C<'static>>`
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0275`.