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