1 error[E0405]: cannot find trait `B` in this scope
2 --> $DIR/type-ascription-instead-of-path-in-type.rs:6:18
4 LL | let _: Vec<A:B> = A::B;
5 | ^ not found in this scope
7 help: you might have meant to write a path instead of an associated type bound
9 LL | let _: Vec<A::B> = A::B;
12 error[E0658]: associated type bounds are unstable
13 --> $DIR/type-ascription-instead-of-path-in-type.rs:6:16
15 LL | let _: Vec<A:B> = A::B;
18 = note: see issue #52662 <https://github.com/rust-lang/rust/issues/52662> for more information
19 = help: add `#![feature(associated_type_bounds)]` to the crate attributes to enable
21 error[E0107]: this struct takes at least 1 generic argument but 0 generic arguments were supplied
22 --> $DIR/type-ascription-instead-of-path-in-type.rs:6:12
24 LL | let _: Vec<A:B> = A::B;
25 | ^^^ expected at least 1 generic argument
27 note: struct defined here, with at least 1 generic parameter: `T`
28 --> $SRC_DIR/alloc/src/vec/mod.rs:LL:COL
30 LL | pub struct Vec<T, #[unstable(feature = "allocator_api", issue = "32838")] A: Allocator = Global> {
32 help: add missing generic argument
34 LL | let _: Vec<T, A:B> = A::B;
37 error[E0229]: associated type bindings are not allowed here
38 --> $DIR/type-ascription-instead-of-path-in-type.rs:6:16
40 LL | let _: Vec<A:B> = A::B;
41 | ^^^ associated type not allowed here
43 error: aborting due to 4 previous errors
45 Some errors have detailed explanations: E0107, E0229, E0405, E0658.
46 For more information about an error, try `rustc --explain E0107`.