mirror of https://github.com/rust-lang/rust
122 lines
3.8 KiB
Plaintext
122 lines
3.8 KiB
Plaintext
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:8: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
|
|
|
|
|
LL - type SVec<T: Send + Send> = Vec<T>;
|
|
LL + type SVec<T> = Vec<T>;
|
|
|
|
|
|
|
warning: where clauses are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:10: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
|
|
|
|
|
LL - type S2Vec<T> where T: Send = Vec<T>;
|
|
LL + type S2Vec<T> = Vec<T>;
|
|
|
|
|
|
|
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:12: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
|
|
|
|
|
LL - type VVec<'b, 'a: 'b + 'b> = (&'b u32, Vec<&'a i32>);
|
|
LL + type VVec<'b, 'a> = (&'b u32, Vec<&'a i32>);
|
|
|
|
|
|
|
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:14: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
|
|
|
|
|
LL - type WVec<'b, T: 'b + 'b> = (&'b u32, Vec<T>);
|
|
LL + type WVec<'b, T> = (&'b u32, Vec<T>);
|
|
|
|
|
|
|
warning: where clauses are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:16: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
|
|
|
|
|
LL - type W2Vec<'b, T> where T: 'b, T: 'b = (&'b u32, Vec<T>);
|
|
LL + type W2Vec<'b, T> = (&'b u32, Vec<T>);
|
|
|
|
|
|
|
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:47:12
|
|
|
|
|
LL | type T1<U: Bound> = U::Assoc;
|
|
| ^^^^^
|
|
|
|
|
help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
|
|
--> $DIR/type-alias-bounds.rs:47:21
|
|
|
|
|
LL | type T1<U: Bound> = U::Assoc;
|
|
| ^^^^^^^^
|
|
help: the bound will not be checked when the type alias is used, and should be removed
|
|
|
|
|
LL - type T1<U: Bound> = U::Assoc;
|
|
LL + type T1<U> = U::Assoc;
|
|
|
|
|
|
|
warning: where clauses are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:48:18
|
|
|
|
|
LL | type T2<U> where U: Bound = U::Assoc;
|
|
| ^^^^^^^^
|
|
|
|
|
help: use fully disambiguated paths (i.e., `<T as Trait>::Assoc`) to refer to associated types in type aliases
|
|
--> $DIR/type-alias-bounds.rs:48:29
|
|
|
|
|
LL | type T2<U> where U: Bound = U::Assoc;
|
|
| ^^^^^^^^
|
|
help: the clause will not be checked when the type alias is used, and should be removed
|
|
|
|
|
LL - type T2<U> where U: Bound = U::Assoc;
|
|
LL + type T2<U> = U::Assoc;
|
|
|
|
|
|
|
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:56:12
|
|
|
|
|
LL | type T5<U: Bound> = <U as Bound>::Assoc;
|
|
| ^^^^^
|
|
|
|
|
help: the bound will not be checked when the type alias is used, and should be removed
|
|
|
|
|
LL - type T5<U: Bound> = <U as Bound>::Assoc;
|
|
LL + type T5<U> = <U as Bound>::Assoc;
|
|
|
|
|
|
|
warning: bounds on generic parameters are not enforced in type aliases
|
|
--> $DIR/type-alias-bounds.rs:57:12
|
|
|
|
|
LL | type T6<U: Bound> = ::std::vec::Vec<U>;
|
|
| ^^^^^
|
|
|
|
|
help: the bound will not be checked when the type alias is used, and should be removed
|
|
|
|
|
LL - type T6<U: Bound> = ::std::vec::Vec<U>;
|
|
LL + type T6<U> = ::std::vec::Vec<U>;
|
|
|
|
|
|
|
warning: 9 warnings emitted
|
|
|