]> git.lizzy.rs Git - rust.git/blob - src/test/ui/resolve/resolve-type-param-in-item-in-trait.stderr
Rollup merge of #61207 - taiki-e:arbitrary_self_types-lifetime-elision-2, r=Centril
[rust.git] / src / test / ui / resolve / resolve-type-param-in-item-in-trait.stderr
1 error[E0401]: can't use generic parameters from outer function
2   --> $DIR/resolve-type-param-in-item-in-trait.rs:8:22
3    |
4 LL | trait TraitA<A> {
5    |              - type parameter from outer function
6 LL |     fn outer(&self) {
7    |        ----- try adding a local generic parameter in this method instead
8 LL |         enum Foo<B> {
9 LL |             Variance(A)
10    |                      ^ use of generic parameter from outer function
11
12 error[E0401]: can't use generic parameters from outer function
13   --> $DIR/resolve-type-param-in-item-in-trait.rs:16:23
14    |
15 LL | trait TraitB<A> {
16    |              - type parameter from outer function
17 LL |     fn outer(&self) {
18    |        ----- try adding a local generic parameter in this method instead
19 LL |         struct Foo<B>(A);
20    |                       ^ use of generic parameter from outer function
21
22 error[E0401]: can't use generic parameters from outer function
23   --> $DIR/resolve-type-param-in-item-in-trait.rs:23:28
24    |
25 LL | trait TraitC<A> {
26    |              - type parameter from outer function
27 LL |     fn outer(&self) {
28    |        ----- try adding a local generic parameter in this method instead
29 LL |         struct Foo<B> { a: A }
30    |                            ^ use of generic parameter from outer function
31
32 error[E0401]: can't use generic parameters from outer function
33   --> $DIR/resolve-type-param-in-item-in-trait.rs:30:22
34    |
35 LL | trait TraitD<A> {
36    |              - type parameter from outer function
37 LL |     fn outer(&self) {
38 LL |         fn foo<B>(a: A) { }
39    |            ------    ^ use of generic parameter from outer function
40    |            |
41    |            help: try using a local generic parameter instead: `foo<B, A>`
42
43 error: aborting due to 4 previous errors
44
45 For more information about this error, try `rustc --explain E0401`.