about summary refs log tree commit diff
path: root/tests/ui/type-alias-impl-trait/non-defining-method.stderr
blob: 22f173b5be9fb335c1541ac74eb49a1b7bdc9b8e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
error[E0792]: non-defining opaque type use in defining scope
  --> $DIR/non-defining-method.rs:16:17
   |
LL |     fn foo() -> Self::Bar<u32> {}
   |                 ^^^^^^^^^^^^^^ argument `u32` is not a generic parameter
   |
note: for this opaque type
  --> $DIR/non-defining-method.rs:15:19
   |
LL |     type Bar<T> = impl Sized;
   |                   ^^^^^^^^^^

error[E0792]: expected generic type parameter, found `u32`
  --> $DIR/non-defining-method.rs:16:17
   |
LL |     type Bar<T> = impl Sized;
   |              - this generic parameter must be used with a generic type parameter
LL |     fn foo() -> Self::Bar<u32> {}
   |                 ^^^^^^^^^^^^^^

error: aborting due to 2 previous errors

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