1 warning: bounds on generic parameters are not enforced in type aliases
2 --> $DIR/type-alias-bounds.rs:18:14
4 LL | type SVec<T: Send+Send> = Vec<T>;
7 = note: #[warn(type_alias_bounds)] on by default
8 = help: the bound will not be checked when the type alias is used, and should be removed
10 warning: where clauses are not enforced in type aliases
11 --> $DIR/type-alias-bounds.rs:20:21
13 LL | type S2Vec<T> where T: Send = Vec<T>;
16 = help: the clause will not be checked when the type alias is used, and should be removed
18 warning: bounds on generic parameters are not enforced in type aliases
19 --> $DIR/type-alias-bounds.rs:22:19
21 LL | type VVec<'b, 'a: 'b+'b> = (&'b u32, Vec<&'a i32>);
24 = help: the bound will not be checked when the type alias is used, and should be removed
26 warning: bounds on generic parameters are not enforced in type aliases
27 --> $DIR/type-alias-bounds.rs:24:18
29 LL | type WVec<'b, T: 'b+'b> = (&'b u32, Vec<T>);
32 = help: the bound will not be checked when the type alias is used, and should be removed
34 warning: where clauses are not enforced in type aliases
35 --> $DIR/type-alias-bounds.rs:26:25
37 LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
40 = help: the clause will not be checked when the type alias is used, and should be removed
42 warning: bounds on generic parameters are not enforced in type aliases
43 --> $DIR/type-alias-bounds.rs:57:12
45 LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases
48 = help: the bound will not be checked when the type alias is used, and should be removed
49 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
50 --> $DIR/type-alias-bounds.rs:57:21
52 LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases
55 warning: where clauses are not enforced in type aliases
56 --> $DIR/type-alias-bounds.rs:58:18
58 LL | type T2<U> where U: Bound = U::Assoc; //~ WARN not enforced in type aliases
61 = help: the clause will not be checked when the type alias is used, and should be removed
62 help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
63 --> $DIR/type-alias-bounds.rs:58:29
65 LL | type T2<U> where U: Bound = U::Assoc; //~ WARN not enforced in type aliases
68 warning: bounds on generic parameters are not enforced in type aliases
69 --> $DIR/type-alias-bounds.rs:66:12
71 LL | type T5<U: Bound> = <U as Bound>::Assoc; //~ WARN not enforced in type aliases
74 = help: the bound will not be checked when the type alias is used, and should be removed
76 warning: bounds on generic parameters are not enforced in type aliases
77 --> $DIR/type-alias-bounds.rs:67:12
79 LL | type T6<U: Bound> = ::std::vec::Vec<U>; //~ WARN not enforced in type aliases
82 = help: the bound will not be checked when the type alias is used, and should be removed