| 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`. |