summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/inductive-overflow/lifetime.stderr
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/ui/traits/inductive-overflow/lifetime.stderr (renamed from src/test/ui/traits/inductive-overflow/lifetime.stderr)8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/test/ui/traits/inductive-overflow/lifetime.stderr b/tests/ui/traits/inductive-overflow/lifetime.stderr
index b72d53bdd..357e59991 100644
--- a/src/test/ui/traits/inductive-overflow/lifetime.stderr
+++ b/tests/ui/traits/inductive-overflow/lifetime.stderr
@@ -1,5 +1,5 @@
error[E0275]: overflow evaluating the requirement `X<C<'_>>: NotAuto`
- --> $DIR/lifetime.rs:28:5
+ --> $DIR/lifetime.rs:29:5
|
LL | is_send::<X<C<'static>>>();
| ^^^^^^^^^^^^^^^^^^^^^^^^
@@ -8,11 +8,13 @@ note: required for `Box<X<C<'_>>>` to implement `NotAuto`
--> $DIR/lifetime.rs:18:18
|
LL | impl<T: NotAuto> NotAuto for Box<T> {}
- | ^^^^^^^ ^^^^^^
+ | ------- ^^^^^^^ ^^^^^^
+ | |
+ | unsatisfied trait bound introduced here
= note: 3 redundant requirements hidden
= note: required for `X<C<'static>>` to implement `NotAuto`
note: required by a bound in `is_send`
- --> $DIR/lifetime.rs:22:15
+ --> $DIR/lifetime.rs:23:15
|
LL | fn is_send<S: NotAuto>() {}
| ^^^^^^^ required by this bound in `is_send`