about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait/escaping-bound-var.stderr
blob: c9f0618639afb0c4abc9314ae26e12d3ad694101 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
error[E0657]: `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait`
  --> $DIR/escaping-bound-var.rs:9:47
   |
LL | pub type Foo = impl for<'a> Trait<'a, Assoc = impl Test<'a>>;
   |                                               ^^^^^^^^^^^^^ `impl Trait` implicitly captures all lifetimes in scope
   |
note: lifetime declared here
  --> $DIR/escaping-bound-var.rs:9:25
   |
LL | pub type Foo = impl for<'a> Trait<'a, Assoc = impl Test<'a>>;
   |                         ^^

error[E0657]: `impl Trait` cannot capture higher-ranked lifetime from outer `impl Trait`
  --> $DIR/escaping-bound-var.rs:9:57
   |
LL | pub type Foo = impl for<'a> Trait<'a, Assoc = impl Test<'a>>;
   |                                                         ^^
   |
note: lifetime declared here
  --> $DIR/escaping-bound-var.rs:9:25
   |
LL | pub type Foo = impl for<'a> Trait<'a, Assoc = impl Test<'a>>;
   |                         ^^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0657`.