eea560494c
Bless tests and show an introduced unsoundness related to
exits<'a> { forall<'b> { 'a == 'b } }.
We now resolve the var ?a in U0 to the placeholder !b in U1.
21 lines
707 B
Plaintext
21 lines
707 B
Plaintext
error[E0275]: overflow evaluating the requirement `Box<X<C<'static>>>: NotAuto`
|
|
--> $DIR/lifetime.rs:29:5
|
|
|
|
|
LL | is_send::<X<C<'static>>>();
|
|
| ^^^^^^^^^^^^^^^^^^^^^^^^
|
|
|
|
|
note: required for `X<C<'static>>` to implement `NotAuto`
|
|
--> $DIR/lifetime.rs:19:12
|
|
|
|
|
LL | impl<T: Y> NotAuto for X<T> where T::P: NotAuto {}
|
|
| ^^^^^^^ ^^^^ ------- unsatisfied trait bound introduced here
|
|
note: required by a bound in `is_send`
|
|
--> $DIR/lifetime.rs:23:15
|
|
|
|
|
LL | fn is_send<S: NotAuto>() {}
|
|
| ^^^^^^^ required by this bound in `is_send`
|
|
|
|
error: aborting due to previous error
|
|
|
|
For more information about this error, try `rustc --explain E0275`.
|