| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:18:14 |
| | |
| LL | type SVec<T: Send+Send> = Vec<T>; |
| | ^^^^ ^^^^ |
| | |
| = note: #[warn(type_alias_bounds)] on by default |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| |
| warning: where clauses are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:20:21 |
| | |
| LL | type S2Vec<T> where T: Send = Vec<T>; |
| | ^^^^^^^ |
| | |
| = help: the clause will not be checked when the type alias is used, and should be removed |
| |
| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:22:19 |
| | |
| LL | type VVec<'b, 'a: 'b+'b> = (&'b u32, Vec<&'a i32>); |
| | ^^ ^^ |
| | |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| |
| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:24:18 |
| | |
| LL | type WVec<'b, T: 'b+'b> = (&'b u32, Vec<T>); |
| | ^^ ^^ |
| | |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| |
| warning: where clauses are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:26:25 |
| | |
| LL | type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>); |
| | ^^^^^ ^^^^^ |
| | |
| = help: the clause will not be checked when the type alias is used, and should be removed |
| |
| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:57:12 |
| | |
| LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases |
| | ^^^^^ |
| | |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases |
| --> $DIR/type-alias-bounds.rs:57:21 |
| | |
| LL | type T1<U: Bound> = U::Assoc; //~ WARN not enforced in type aliases |
| | ^^^^^^^^ |
| |
| warning: where clauses are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:58:18 |
| | |
| LL | type T2<U> where U: Bound = U::Assoc; //~ WARN not enforced in type aliases |
| | ^^^^^^^^ |
| | |
| = help: the clause will not be checked when the type alias is used, and should be removed |
| help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases |
| --> $DIR/type-alias-bounds.rs:58:29 |
| | |
| LL | type T2<U> where U: Bound = U::Assoc; //~ WARN not enforced in type aliases |
| | ^^^^^^^^ |
| |
| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:66:12 |
| | |
| LL | type T5<U: Bound> = <U as Bound>::Assoc; //~ WARN not enforced in type aliases |
| | ^^^^^ |
| | |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| |
| warning: bounds on generic parameters are not enforced in type aliases |
| --> $DIR/type-alias-bounds.rs:67:12 |
| | |
| LL | type T6<U: Bound> = ::std::vec::Vec<U>; //~ WARN not enforced in type aliases |
| | ^^^^^ |
| | |
| = help: the bound will not be checked when the type alias is used, and should be removed |
| |