-error[E0283]: type annotations needed
- --> $DIR/issue-48027.rs:3:32
- |
-LL | fn return_n(&self) -> [u8; Bar::X];
- | ^^^^^^
- | |
- | cannot infer type
- | help: use the fully qualified path to an implementation: `<Type as Bar>::X`
- |
- = note: cannot satisfy `_: Bar`
- = note: associated constants cannot be accessed directly on a `trait`, they can only be accessed through a specific `impl`
-
error[E0038]: the trait `Bar` cannot be made into an object
--> $DIR/issue-48027.rs:6:6
|
| ^ ...because it contains this associated `const`
= help: consider moving `X` to another trait
+error[E0790]: cannot refer to the associated constant on trait without specifying the corresponding `impl` type
+ --> $DIR/issue-48027.rs:3:32
+ |
+LL | const X: usize;
+ | --------------- `Bar::X` defined here
+LL | fn return_n(&self) -> [u8; Bar::X];
+ | ^^^^^^ cannot refer to the associated constant of trait
+
error: aborting due to 2 previous errors
-Some errors have detailed explanations: E0038, E0283.
+Some errors have detailed explanations: E0038, E0790.
For more information about an error, try `rustc --explain E0038`.