tests/ui/traits/inductive-overflow/lifetime.stderr

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