1 error[E0283]: type annotations needed
2 --> $DIR/issue-63496.rs:4:21
4 LL | fn f() -> ([u8; A::C], [u8; A::C]);
8 | help: use the fully qualified path to an implementation: `<Type as A>::C`
10 = note: cannot satisfy `_: A`
11 = note: associated constants cannot be accessed directly on a `trait`, they can only be accessed through a specific `impl`
12 note: required by `A::C`
13 --> $DIR/issue-63496.rs:2:5
18 error[E0283]: type annotations needed
19 --> $DIR/issue-63496.rs:4:33
21 LL | fn f() -> ([u8; A::C], [u8; A::C]);
25 | help: use the fully qualified path to an implementation: `<Type as A>::C`
27 = note: cannot satisfy `_: A`
28 = note: associated constants cannot be accessed directly on a `trait`, they can only be accessed through a specific `impl`
29 note: required by `A::C`
30 --> $DIR/issue-63496.rs:2:5
35 error: aborting due to 2 previous errors
37 For more information about this error, try `rustc --explain E0283`.